Menu
Login to UWE

Browse by Creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 3.

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 Available from: http://eprints.uwe.ac.uk/17436

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 Available from: http://eprints.uwe.ac.uk/5906

Conference or Workshop Item

Dennis, L. A., Fisher, M. and Winfield, A. F. (2015) Towards verifiably ethical robot behaviour. In: Proceedings of the twenty-ninth AAAI conference on artificial intelligence, Texas, USA, 25 - 30 January 2015. Available from: http://eprints.uwe.ac.uk/29345

This list was generated on Wed Aug 24 02:51:00 2016 BST.

 

Copyright 2016 © UWE better together