We are involved in a range of autonomous robotics activities,

• in simulated, virtual and embodied forms,
• applied to domestic, industrial and first-response scenarios,
• organized in teams, swarms or as individual robots, and
• controlled through varying degrees of human interaction and autonomy.

Through the projects below, we work with industry, academics, and the public on a range of Robotics activities. Our primary activities concern

• the development of safe and trustworthy robotic assistants
• formal analysis of robot swarm algorithms to ensure reliability
• robot ethics and their verification
• decision making in dynamic, uncertain environments
• learning from interaction with human and robot team members
• safe and reliable human-robot teamwork