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, pp. 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 (a cura di), 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}

Tags:
    

Pubblicazione

— autori/autrici

Savas Konur, Clare Dixon, Michael Fisher

— a cura di

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

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

Swarm Intelligence

— collana

LNCS 6234

— data di pubblicazione

2010

— pagine

440-447

— collana

LNCS 6234

— data di pubblicazione

2010

URL & ID

pagina originale
PDF originale

— DOI

10.1007/978-3-642-15461-4_42

— print ISSN

0302-9743

— print ISBN

978-3-642-15460-7

BibTeX

— BibTeX ID
konur-swarmintelligence2010
— BibTeX category
incollection

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