学会発表

Basic information

Name Kambayashi Yasushi

発表題目

Exploration Strategies for Model Checking with Ant Colony Optimization

代表発表者名

Tsutomu Kumazawa

共同発表者名

Munehiro Takimoto, Yasushi Kambayashi

学会・会議名

13th International Conference on Computational Collective Intelligence

発表形態

ENG

発表開始年月

2021-09

 

 

発表終了年月

 

概要