Formal Verification of Opinion Formation in Swarms.
Panagiotis KouvarosAlessio LomuscioPublished in: AAMAS (2016)
Keyphrases
- formal verification
- model checking
- particle swarm optimization
- swarm intelligence
- bio inspired
- automated verification
- cooperative
- pso algorithm
- bounded model checking
- symbolic model checking
- model checker
- multi swarm
- dynamic environments
- program slicing
- multi objective
- collective behavior
- formal specification
- temporal logic
- object oriented
- functional verification