Formal Verification of Probabilistic Swarm Behaviours

First Author: Konur S
Attributed to:  Verifying Interoperability Requirements in Pervasive Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-15461-4_42

Publication URI: http://dx.doi.org/10.1007/978-3-642-15461-4_42

Type: Book Chapter

Book Title: Swarm Intelligence - 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010. Proceedings (2010)

Page Reference: 440-447

ISBN: 978-3-642-15460-7