Formal Verification of Probabilistic Swarm Behaviours.
Savas KonurClare DixonMichael FisherPublished in: ANTS Conference (2010)
Keyphrases
- formal verification
- model checking
- symbolic model checking
- model checker
- automated verification
- bounded model checking
- probabilistic model
- swarm intelligence
- temporal logic
- uncertain data
- functional verification
- cooperative
- program slicing
- generative model
- particle swarm optimization
- formal specification
- orders of magnitude
- open source
- programming language
- multi objective