Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi. Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization. J. Information Telecommunication, 6(3):341-359, 2022. [doi]
@article{KumazawaTK22-0,
title = {Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization},
author = {Tsutomu Kumazawa and Munehiro Takimoto and Yasushi Kambayashi},
year = {2022},
doi = {10.1080/24751839.2022.2047470},
url = {https://doi.org/10.1080/24751839.2022.2047470},
researchr = {https://researchr.org/publication/KumazawaTK22-0},
cites = {0},
citedby = {0},
journal = {J. Information Telecommunication},
volume = {6},
number = {3},
pages = {341-359},
}