Formal Verification of Probabilistic Swarm Behaviours

@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}