TY  - RPRT
TI  - Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms
AU  - Laura Antuña
AU  - Dejanira Araiza-Illan
AU  - Sérgio Campos
AU  - Kerstin Eder
PY  - 2015
DO  - 10.1007/978-3-319-22416-9_4
UR  - https://arxiv.org/abs/1505.05695
ID  - 1505.05695
ER  -