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 2016, 3, e1.