<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-11-15 22:04:58Finite automata Ant colony optimization algorithms Model checking Finite-state machine Artificial ants Ant Bchi automaton |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2015-11-15 22:04:58Finite automata Ant colony optimization algorithms Model checking Finite-state machine Artificial ants Ant Bchi automaton |
Add to Reading List |
An Ant Colony Verification Algorithm Rachid Rebiha Giovanni L. Ciampaglia Universit`a della Svizzera Italiana, Faculty of Informatics. {rachid.rebiha, ciampagg}@lu.unisi.ch Abstract