著作(論文等)
|
|
Exploration Strategies for Model Checking with Ant Colony Optimization
Tsutomu Kumazawa, Munehiro Takimoto and Yasushi Kambayashi
Proceeding of the 13th International Conference on Computational Collective Intelligence, Part 1
2021-09
LNAI 12876
264
ENG
276
Springer
学術論文
|
