Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Laura Antuña' in GoogleThis author has not been identified. Look up 'Dejanira Araiza-Illan' in GoogleThis author has not been identified. Look up 'Sérgio Campos' in GoogleThis author has not been identified. Look up 'Kerstin Eder' in Google

runs on WebDSL