Richard Redpath

Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool
Li, W., Ribeiro, P., Miyazawa, A., Redpath, R., Cavalcanti, A. L. C., Alden, K. J., Woodcock, J. & Timmis, J., 5 Jul 2024, In: Autonomous Robots. 48, 22 p., 14.
Research output: Contribution to journal › Article › peer-review

Open Access
File
ARDebug: An augmented reality tool for analysing and debugging swarm robotic systems
Millard, A. G., Redpath, R., Jewers, A., Arndt, C., Joyce, R., Hilder, J. A., McDaid, L. J. & Halliday, D. M., 24 Jul 2018, In: Frontiers Robotics AI. 5, JUN, 6 p., 87.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Object recall using an experience database to accelerate robot action planning
Redpath, R., Timmis, J. & Trefzer, M., 13 Dec 2017, IROS 2017 - IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE, Vol. 2017-September. p. 1566-1571 6 p. 8205963
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Engineering Robotic Swarms
James Baxter (Speaker), Kangfeng Ye (Speaker), Richard Alan Redpath (Other) & Jonathan Ian Timmis (Speaker)
22 Mar 2019
Activity: Other › Public engagement and outreach (general)

Research output