Clare Dixon, Alan Winfield, Michael Fisher. Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems. In Roderich Groß, Lyuba Alboul, Chris Melhuish, Mark Witkowski, Tony J. Prescott, Jacques Penders, editors, Towards Autonomous Robotic Systems - 12th Annual Conference, TAROS 2011, Sheffield, UK, August 31 - September 2, 2011. Proceedings. Volume 6856 of Lecture Notes in Computer Science, pages 336-347, Springer, 2011. [doi]
Abstract is missing.