著作(論文等)
|
|
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
～
359
研究論文（学術雑誌）
|
