@misc{indiciae5579136ea737,
  title = {Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms},
  author = {Laura Antuña and Dejanira Araiza-Illan and Sérgio Campos and Kerstin Eder},
  year = {2015},
  doi = {10.1007/978-3-319-22416-9\_4},
  url = {https://arxiv.org/abs/1505.05695},
  note = {Source identifier: 1505.05695}
}