18 citations · 52 across the 5 of their papers we have counts for
6 papers
Advising Autonomous Cars about the Rules of the Road
Joe Collenette, Louise A. Dennis, Michael Fisher
This paper describes (R)ules (o)f (T)he (R)oad (A)dvisor, an agent that provides recommended and possible actions to be generated from a set of human-level rules. We describe the a…
Towards Compositional Verification for Modular Robotic Systems
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell +2
Software engineering of modular robotic systems is a challenging task, however, verifying that the developed components all behave as they should individually and as a whole presen…
Adaptable and Verifiable BDI Reasoning
Peter Stringer, Rafael C. Cardoso, Xiaowei Huang +1
Long-term autonomy requires autonomous systems to adapt as their capabilities no longer perform as expected. To achieve this, a system must first be capable of detecting such chang…
Modular Verification of Autonomous Space Robotics
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis +6
Ensuring that autonomous space robot control software behaves as it should is crucial, particularly as software failure in space often equates to mission failure and could potentia…
Practical Challenges in Explicit Ethical Machine Reasoning
Louise Dennis, Michael Fisher
We examine implemented systems for ethical machine reasoning with a view to identifying the practical challenges (as opposed to philosophical challenges) posed by the area. We iden…
Towards Verifiably Ethical Robot Behaviour
Louise A. Dennis, Michael Fisher, Alan F. T. Winfield
Ensuring that autonomous systems work ethically is both complex and difficult. However, the idea of having an additional `governor' that assesses options the system has, and prunes…