Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone.
Tsutomu KumazawaChihiro YokoyamaMunehiro TakimotoYasushi KambayashiPublished in: BICT (2015)
Keyphrases
- ant colony optimization
- model checking
- temporal logic
- metaheuristic
- swarm intelligence
- traveling salesman problem
- artificial ants
- aco algorithm
- ant colony
- formal verification
- temporal properties
- particle swarm optimization
- automated verification
- formal specification
- ant colony optimization algorithm
- model checker
- pheromone trails
- symbolic model checking
- timed automata
- ant colony algorithm
- aco algorithms
- computation tree logic
- ant colonies
- verification method
- nature inspired
- formal methods
- transition systems
- epistemic logic
- bounded model checking
- concurrent systems
- genetic algorithm
- particle swarm optimization pso
- computational complexity
- linear temporal logic
- neural network