Model Checking the Ant Colony Optimisation.
Lucio Mauro DuarteLuciana FossFlávio Rech WagnerTales HeimfarthPublished in: DIPES/BICC (2010)
Keyphrases
- model checking
- ant colony optimisation
- temporal logic
- optimisation algorithm
- ant colony
- ant colony algorithm
- optimisation problems
- memetic algorithm
- model checker
- formal verification
- formal specification
- automated verification
- metaheuristic
- shortest path
- verification method
- symbolic model checking
- search space
- temporal properties
- ant miner
- transition systems
- bounded model checking
- formal methods
- epistemic logic
- swarm intelligence
- global optimization
- genetic algorithm ga
- ant colony optimization
- computation tree logic
- aco algorithm
- evolutionary algorithm