Kumazawa, Tsutomu, Chihiro Yokoyama, Munehiro Takimoto, and Yasushi Kambayashi. “Ant Colony Optimization Based Model Checking Extended by Smell-Like Pheromone”. EAI Endorsed Transactions on Industrial Networks and Intelligent Systems 3, no. 7 (April 21, 2016): e1. Accessed November 29, 2024. https://publications.eai.eu/index.php/inis/article/view/456.