Exploration Strategies for Model Checking with Ant Colony Optimization.

Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi

Browse the full ICCCI paper archive.