Formal Verification of Probabilistic Swarm Behaviours

@incollection{konur-swarmintelligence2010,
   apice = {SwarmLncs6234},
   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
}