著作(論文等)
|
|
Exploration Strategies for Model Checking with Ant Colony Optimization
Tsutomu Kumazawa , Munehiro Takimoto , Yasushi Kambayashi
Computational Collective Intelligence, Proceedings of 13th International Conference on Computational Collective Intelligence, ICCCI 2021, Lecture Notes on Artificial Intelligence
2021/09
264
～
276
研究論文（国際会議プロシーディングス）
|
