RAIN was a community of enthusiastic, knowledgeable, and motivated individuals working together to solve some of the most challenging robotics problems in the world.
At its core were ten research institutions, led by the University of Manchester, each bringing their own expertise.
Agent-ROS Interface
AN INTERFACE FOR PROGRAMMING VERIFIABLE COGNITIVE AGENTS IN ROS
The Agent-ROS interface is designed for integrating cognitive agents into robotic systems developed using ROS. Programming cognitive agents to autonomously control robots allows us to separate high-level control from low-level operations. This improves modularity, giving us a layer of explainability, and makes it possible to formally verify the core of the robot that is responsible for making high-level decisions.
Robotic applications in industry are generally hard to formally verify due to the amount of low-level code. By adding cognitive agents, through the use of our interface, we can improve usability, modularity, and reliability of the application.
Opportunities include using the tool publicly available and providing complex use cases that can further push and improve our approach.
Source code is available here.
Get in Touch
Dept. of Electrical and Electronic Engineering
The University of Manchester
Engineering Building A
Oxford Road
Manchester
M13 9PL