280 citations · 388 across the 15 of their papers we have counts for
16 papers
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]
Louise Dennis, Marie Farrell, Michael Fisher
In this short position paper we highlight our ongoing work on verifiable heterogeneous multi-agent systems and, in particular, the complex (and often non-functional) issues that im…
Uncertain Machine Ethical Decisions Using Hypothetical Retrospection
Simon Kolker, Louise Dennis, Ramon Fraga Pereira +1
We propose the use of the hypothetical retrospection argumentation procedure, developed by Sven Ove Hansson to improve existing approaches to machine ethical reasoning by accountin…
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…
A Compositional Approach to Verifying Modular Robotic Systems
Matt Luckcuck, Marie Farrell, Angelo Ferrando +3
Robotic systems used in safety-critical scenarios often rely on modular software architectures, and increasingly include autonomous components. Verifying that these modular robotic…
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini +2
This volume contains the proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), co-located with the 31st International Joint Conferen…
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…
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Matt Luckcuck, Marie Farrell, Louise Dennis +2
Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testin…
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 Moral Autonomous Systems
Vicky Charisi, Louise Dennis, Michael Fisher +6
Both the ethics of autonomous systems and the problems of their technical implementation have by now been studied in some detail. Less attention has been given to the areas in whic…
Formal Verification of Autonomous Vehicle Platooning
Maryam Kamali, Louise A. Dennis, Owen McAree +2
The coordination of multiple autonomous vehicles into convoys or platoons is expected on our highways in the near future. However, before such platoons can be deployed, the new aut…
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…
An Abstract Formal Basis for Digital Crowds
Marija Slavkovik, Louise A. Dennis, Michael Fisher
Crowdsourcing, together with its related approaches, has become very popular in recent years. All crowdsourcing processes involve the participation of a digital crowd, a large numb…
Practical Verification of Decision-Making in Agent-Based Autonomous Systems
Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln +2
We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and…
Agent Based Approaches to Engineering Autonomous Space Software
Louise A. Dennis, Michael Fisher, Nicholas Lincoln +2
Current approaches to the engineering of space software such as satellite control systems are based around the development of feedback controllers using packages such as MatLab's S…