著作(論文等)
論文名
著者名
掲載誌名等
掲載年月
巻
号
開始頁
終了頁
出版者(日本語)
出版者(英語)
発表形態
概要
基本情報
氏名
熊澤 努
氏名(カナ)
クマザワ ツトム
氏名(英語)
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
~
終了頁
276
出版者(日本語)
 
出版者(英語)
 
発表形態
研究論文(国際会議プロシーディングス)
概要