Back to Results
First PageMeta Content
Finite automata / Ant colony optimization algorithms / Model checking / Finite-state machine / Artificial ants / Ant / Bchi automaton


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
Add to Reading List

Document Date: 2015-11-15 22:04:58


Open Document

File Size: 165,42 KB

Share Result on Facebook
UPDATE