Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
 |
 |
 |
apice = {TempVerLncs6856},
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 = {https://link.springer.com/10.1007/978-3-642-23232-9_30},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-642-23232-9_30.pdf},
volume = 6856,
year = 2011
}
