Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization

Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi

Journal of Information and Telecommunication

2022-03

6

3

341

ENG

359

研究論文（学術雑誌）