Projects per year
Abstract
Autonomy has been one of the most desirable features for robotic applications in recent years. This is evidenced by a recent surge of research in autonomous driving cars, strong government funding for research in robotics for extreme environments, and overall progress in service robots. Autonomous decision-making is often at the core of these systems, thus, it is important to be able to verify and validate properties that relate to the correct behaviour that is expected of the system. Our main contribution in this paper, is an interface for integrating BDI-based agents into robotic systems developed using ROS. We use the Gwendolen language to program our BDI agents and to make use of the AJPF model checker in order to verify properties related to the decision-making in the agent programs. Our case studies include 3D simulations using a simple autonomous patrolling behaviour of a TurtleBot, and multiple TurtleBots servicing a house that can cooperate with each other in case of failure.
Original language | English |
---|---|
Title of host publication | EUMAS 2020, AT 2020: Multi-Agent Systems and Agreement Technologies |
Publisher | Springer Nature |
ISBN (Electronic) | 978-3-030-66412-1 |
ISBN (Print) | 978-3-030-66411-4 |
DOIs | |
Publication status | Published - 5 Jan 2021 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 12520 |
Fingerprint
Dive into the research topics of 'An Interface for Programming Verifiable Autonomous Agents in ROS'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Robotics and Artificial Intelligence for Nuclear (RAIN)
Lennox, B. (PI), Arvin, F. (CoI), Brown, G. (CoI), Carrasco Gomez, J. (CoI), Da Via, C. (CoI), Furber, S. (CoI), Luján, M. (CoI), Watson, S. (CoI), Watts, S. (CoI) & Weightman, A. (CoI)
2/10/17 → 31/03/22
Project: Research