Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms.
Laura R. AntuñaDejanira Araiza-IllanSérgio CamposKerstin EderPublished in: TAROS (2015)
Keyphrases
- model checking
- temporal logic
- deterministic finite automaton
- temporal properties
- formal verification
- verification method
- partial order reduction
- search space
- epistemic logic
- finite state
- finite state machines
- model checker
- formal methods
- formal specification
- symbolic model checking
- bounded model checking
- test cases