Kumazawa T, Yokoyama C, Takimoto M, Kambayashi Y. Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone. EAI Endorsed Trans Ind Net Intel Syst [Internet]. 2016 Apr. 21 [cited 2024 May 21];3(7):e1. Available from: https://publications.eai.eu/index.php/inis/article/view/456