research
∙
09/28/2022
Advising Autonomous Cars about the Rules of the Road
This paper describes (R)ules (o)f (T)he (R)oad (A)dvisor, an agent that ...
share
research
∙
08/10/2022
A Compositional Approach to Verifying Modular Robotic Systems
Robotic systems used in safety-critical industrial situations often rely...
research
∙
07/19/2022
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy
This volume contains the proceedings of the Second Workshop on Agents an...
research
∙
12/03/2020
Towards Compositional Verification for Modular Robotic Systems
Software engineering of modular robotic systems is a challenging task, h...
research
∙
07/23/2020
Adaptable and Verifiable BDI Reasoning
Long-term autonomy requires autonomous systems to adapt as their capabil...
research
∙
11/25/2019
A Summary of Formal Specification and Verification of Autonomous Robotic Systems
Autonomous robotic systems are complex, hybrid, and often safety-critica...
research
∙
08/28/2019
Modular Verification of Autonomous Space Robotics
Ensuring that autonomous space robot control software behaves as it shou...
research
∙
02/04/2016
Formal Verification of Autonomous Vehicle Platooning
The coordination of multiple autonomous vehicles into convoys or platoon...
research
∙
04/14/2015
Towards Verifiably Ethical Robot Behaviour
Ensuring that autonomous systems work ethically is both complex and diff...
research
∙
03/02/2010