APICe » Publications » Formal Verification of Probabilistic Swarm Behaviours

Formal Verification of Probabilistic Swarm Behaviours

Savas Konur, Clare Dixon, Michael Fisher
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.
Swarm Intelligence, LNCS 6234, pages 440-447, 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.), Springer
7th International Conference (ANTS 2010), Brussels, Belgium, 8-10 September 2010. Proceedings
@incollection{konur-swarmintelligence2010,
	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 = {http://www.springerlink.com/content/t8415hx2001g2041/},
	Volume = 6234,
	Year = 2010}