Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone

Tsutomu Kumazawa , Chihiro Yokoyama , Munehiro Takimoto , Yasushi Kambayashi

Proceedings of the 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS) (BICT'15)

2015/12

214

～

220

研究論文（国際会議プロシーディングス）