Savas Konur, Clare Dixon, Michael Fisher. Formal Verification of Probabilistic Swarm Behaviours. In Marco Dorigo, Mauro Birattari, Gianni A. Di Caro, René Doursat, Andries Petrus Engelbrecht, Dario Floreano, Luca Maria Gambardella, Roderich Groß, Erol Sahin, Hiroki Sayama, Thomas Stützle, editors, Swarm Intelligence - 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010. Proceedings. Volume 6234 of Lecture Notes in Computer Science, pages 440-447, Springer, 2010. [doi]
Abstract is missing.