Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts.
Tsutomu KumazawaKeiichiro TakadaMunehiro TakimotoYasushi KambayashiPublished in: Swarm Evol. Comput. (2019)
Keyphrases
- ant colony optimization
- model checking
- temporal logic
- metaheuristic
- swarm intelligence
- ant colony
- temporal properties
- ant colony optimization algorithm
- formal verification
- model checker
- traveling salesman problem
- automated verification
- particle swarm optimization
- artificial ants
- verification method
- formal specification
- symbolic model checking
- aco algorithm
- ant colony algorithm
- formal methods
- bounded model checking
- computation tree logic
- nature inspired
- concurrent systems
- aco algorithms
- pheromone trails
- genetic algorithm
- timed automata
- transition systems
- ant colonies
- epistemic logic
- reactive systems
- particle swarm optimization pso
- artificial intelligence
- optimization problems
- alternating time temporal logic