学会発表

基本情報

氏名 神林 靖
氏名(カナ) カンバヤシ ヤスシ
氏名(英語) 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

 

 

発表終了年月

 

概要