Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone
Journal title: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems
Authors: Tsutomu Kumazawa, Chihiro Yokoyama, Munehiro Takimoto, Yasushi Kambayashi
Subject(s): Computer and Information Science, Data Communication and Networks, Industrial Management