Laura Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder. Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms. In Clare Dixon, Karl Tuyls, editors, Towards Autonomous Robotic Systems - 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings. Volume 9287 of Lecture Notes in Computer Science, pages 26-37, Springer, 2015. [doi]
Abstract is missing.