Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts

Tsutomu Kumazawa, Keiichiro Takada, Munehiro Takimoto, Yasushi Kambayashi. Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts. Swarm and Evolutionary Computation, 44:511-521, 2019. [doi]

Abstract

Abstract is missing.