学会発表
発表題目
代表発表者名
共同発表者名
学会・会議名
発表形態
発表開始年月
発表終了年月
概要
基本情報
氏名
神林 靖
氏名(カナ)
カンバヤシ ヤスシ
氏名(英語)
Kambayashi Yasushi
発表題目
Exploration Strategies for Model Checking with Ant Colony Optimization
代表発表者名
Tsutomu Kumazawa
共同発表者名
Munehiro Takimoto, Yasushi Kambayashi
学会・会議名
13th International Conference on Computational Collective Intelligence
発表形態
口頭発表(一般)
発表開始年月
2021/09
 
発表終了年月
 
概要