学会発表
|
|
Exploration Strategies for Model Checking with Ant Colony Optimization
Tsutomu Kumazawa
Munehiro Takimoto, Yasushi Kambayashi
13th International Conference on Computational Collective Intelligence
口頭発表（一般）
2021/09
|
