-
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 AccessFile -
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 AccessFile -
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. 8205963Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Activities
- 1 Public engagement and outreach (general)
-
Engineering Robotic Swarms
Baxter, J. (Speaker), Ye, K. (Speaker), Redpath, R. A. (Other) & Timmis, J. I. (Speaker)
22 Mar 2019Activity: Other › Public engagement and outreach (general)