Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
@incollection{dixon11,
Author = {Dixon, Clare and Winfield, Alan and Fisher, Micheal},
Booktitle = {Towards Autonomous Robotic Systems},
Doi = {10.1007/978-3-642-23232-9_30},
Editor = {Gro{\ss}, Roderich and Alboul, Lyuba and Melhuish, Chris and Witkowski, Mark and Prescott, Tony J. and Penders, Jacques},
Isbn = {978-3-642-23231-2},
Note = {12th Annual Conference (TAROS 2011), Sheffield, UK, 31~} # aug # {~-- 2~} # sep # {~2011. Proceedings},
Pages = {336--347},
Publisher = {Springer},
Series = {LNCS},
Title = {Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems},
Url = {http://www.springerlink.com/content/m2826416165wnn84/},
Volume = 6856,
Year = 2011}
Author = {Dixon, Clare and Winfield, Alan and Fisher, Micheal},
Booktitle = {Towards Autonomous Robotic Systems},
Doi = {10.1007/978-3-642-23232-9_30},
Editor = {Gro{\ss}, Roderich and Alboul, Lyuba and Melhuish, Chris and Witkowski, Mark and Prescott, Tony J. and Penders, Jacques},
Isbn = {978-3-642-23231-2},
Note = {12th Annual Conference (TAROS 2011), Sheffield, UK, 31~} # aug # {~-- 2~} # sep # {~2011. Proceedings},
Pages = {336--347},
Publisher = {Springer},
Series = {LNCS},
Title = {Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems},
Url = {http://www.springerlink.com/content/m2826416165wnn84/},
Volume = 6856,
Year = 2011}