Browse by Creator
Jump to: Article
Number of items: 2.
Dixon, C. print, Winfield, A. F. print, Fisher, M. print and Zeng, C. print (2012) Towards temporal verification of swarm robotic systems. Robotics and Autonomous Systems, 60 (11). pp. 1429-1441. ISSN 0921-8890
Winfield, A. F. print, Sa, J. print, Fernandez-Gago, M.-C. print, Dixon, C. print and Fisher, M. print (2005) On formal specification of emergent behaviours in swarm robotic systems. International Journal of Advanced Robotic Systems, 2 (4). pp. 363-370. ISSN 1729-8806
This list was generated on Sat May 25 03:00:50 2013 BST.