Formal Verification of Probabilistic Swarm Behaviours

Savas Konur, Clare Dixon, Michael Fisher

Swarm Intelligence, pages 440-447
LNCS 6234,  2010
Marco Dorigo, Mauro Birattari, Gianni A. Di Caro, René Doursat, Andries P. Engelbrecht, Dario Floreano, Luca Maria Gambardella, Roderich Groß, Erol Sahin, Hiroki Sayama, Thomas Stützle (eds.)
7th International Conference (ANTS 2010), Brussels, Belgium, 8-10 September 2010. Proceedings

Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, designing individual robot algorithms so as to ensure effective and correct swarm behaviour is very difficult. In order to assess swarm effectiveness, either experiments with real robots or computational simulations of the swarm are usually carried out. However, neither of these involve a deep analysis of all possible behaviours. In this paper we will utilise automated formal verification techniques, involving an exhaustive mathematical analysis, in order to assess whether our swarms will indeed behave as required.

Author = {Konur, Savas and Dixon, Clare and Fisher, Michael},
Booktitle = {Swarm Intelligence},
Doi = {10.1007/978-3-642-15461-4_42},
Editor = {Dorigo, Marco and Birattari, Mauro and Di Caro, Gianni A. and Doursat, Ren{\'e} and Engelbrecht, Andries P. and Floreano, Dario and Gambardella, Luca Maria and Gro{\ss}, Roderich and Sahin, Erol and Sayama, Hiroki and St{\"u}tzle, Thomas},
Isbn = {978-3-642-15460-7},
Issn = {0302-9743},
Note = {7th International Conference (ANTS 2010), Brussels, Belgium, 8-10~} # sep # {~2010. Proceedings},
Pages = {440--447},
Publisher = {Springer},
Series = {LNCS},
Title = {Formal Verification of Probabilistic Swarm Behaviours},
Url = {},
Volume = 6234,
Year = 2010

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY