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]
@article{KumazawaTTK19,
title = {Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts},
author = {Tsutomu Kumazawa and Keiichiro Takada and Munehiro Takimoto and Yasushi Kambayashi},
year = {2019},
doi = {10.1016/j.swevo.2018.06.002},
url = {https://doi.org/10.1016/j.swevo.2018.06.002},
researchr = {https://researchr.org/publication/KumazawaTTK19},
cites = {0},
citedby = {0},
journal = {Swarm and Evolutionary Computation},
volume = {44},
pages = {511-521},
}