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. , Winfield, A. F. , Fisher, M. and Zeng, C. (2012) Towards temporal verification of swarm robotic systems. Robotics and Autonomous Systems, 60 (11). pp. 1429-1441. ISSN 0921-8890

Winfield, A. F. , Sa, J. , Fernandez-Gago, M.-C. , Dixon, C. and Fisher, M. (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 Fri May 24 03:10:54 2013 BST.
Copyright 2013 © UWE better together