著作(論文等)

Basic information

Name Kumazawa Tsutomu

論文名

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

 

ENG

終了頁

276

出版者(日本語)

 

出版者(英語)

 

発表形態

研究論文(国際会議プロシーディングス)

概要