Browse by Creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping | Creators | Date
Jump to: Article
Number of items: 2.

Article

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.
Copyright 2013 © UWE better together