Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms

First Author: Antuña L

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-22416-9_4

Publication URI: http://dx.doi.org/10.1007/978-3-319-22416-9_4

Type: Book Chapter

Book Title: Towards Autonomous Robotic Systems - 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings (2015)

Page Reference: 26-37

ISBN: 978-3-319-22415-2