​
Login / Signup
Richard Redpath
Publication Activity (10 Years)
Years Active: 1997-2024
Publications (10 Years): 5
Top Topics
Robotic Systems
Collective Behavior
Swarm Robots
Augmented Reality
Top Venues
Frontiers Robotics AI
Auton. Robots
IROS
TAROS
</>
Publications
</>
Wei Li
,
Pedro Ribeiro
,
Alvaro Miyazawa
,
Richard Redpath
,
Ana Cavalcanti
,
Kieran Alden
,
Jim Woodcock
,
Jon Timmis
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool.
Auton. Robots
48 (6-7) (2024)
Alan G. Millard
,
Richard Redpath
,
Alistair M. Jewers
,
Charlotte Arndt
,
Russell Joyce
,
James A. Hilder
,
Liam McDaid
,
David M. Halliday
ARDebug: An Augmented Reality Tool for Analysing and Debugging Swarm Robotic Systems.
Frontiers Robotics AI
5 (2018)
Richard Redpath
,
Jon Timmis
,
Martin Trefzer
Object recall using an experience database to accelerate robot action planning.
IROS
(2017)
Heiko Hamann
,
Yara Khaluf
,
Jean Botev
,
Mohammad Divband Soorati
,
Eliseo Ferrante
,
Oliver Kosak
,
Jean-Marc Montanier
,
Sanaz Mostaghim
,
Richard Redpath
,
Jon Timmis
,
Frank Veenstra
,
Mostafa Wahby
,
Ales Zamuda
Hybrid Societies: Challenges and Perspectives in the Design of Collective Behavior in Self-organizing Systems.
Frontiers Robotics AI
3 (2016)
Richard Redpath
,
Jon Timmis
,
Martin A. Trefzer
Introducing a 3D Physics Simulation Plugin for the ARGoS Robot Simulator.
TAROS
(2016)
Sandeep K. Singhal
,
Binh Q. Nguyen
,
Michael Fraenkel
,
Richard Redpath
,
Jimmy Nguyen
Building high-performance applications and services in Java: an experiential study.
OOPSLA Addendum
(1997)
Sandeep K. Singhal
,
Binh Q. Nguyen
,
Richard Redpath
,
Jimmy Nguyen
,
Michael Fraenkel
InVerse: Designing an Interactive Universe Architecture for Scalability and Extensibility.
HPDC
(1997)