Items where authors include "Redpath, Richard"

Article

Li, Wei orcid.org/0000-0001-9786-585X, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 et al. (5 more authors) (2024) Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool. Autonomous Robots. 14. ISSN 0929-5593

Millard, Alan G. orcid.org/0000-0002-4424-5953, Redpath, Richard, Jewers, Alistair et al. (5 more authors) (2018) ARDebug:An augmented reality tool for analysing and debugging swarm robotic systems. Frontiers Robotics AI. 87. ISSN 2296-9144

Hamann, Heiko, Khaluf, Yara, Botev, Jean et al. (10 more authors) (2016) Hybrid Societies:Challenges and Perspectives in the Design of Collective Behavior in Self-organizing Systems. Frontiers in Robotics and AI. 14. ISSN 2296-9144