research
∙
05/19/2023
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]
In this short position paper we highlight our ongoing work on verifiable...
share
research
∙
09/28/2022
Extending Attack-Fault Trees with Runtime Verification
Autonomous systems are often complex and prone to software failures and ...
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 ...
research
∙
08/10/2022
A Compositional Approach to Verifying Modular Robotic Systems
Robotic systems used in safety-critical industrial situations often rely...
research
∙
08/27/2021
Rule-based Adaptations to Control Cybersickness in Social Virtual Reality Learning Environments
Social virtual reality learning environments (VRLEs) provide immersive e...
research
∙
12/03/2020
Towards Compositional Verification for Modular Robotic Systems
Software engineering of modular robotic systems is a challenging task, h...
research
∙
07/20/2020
Heterogeneous Verification of an Autonomous Curiosity Rover
The Curiosity rover is one of the most complex systems successfully depl...
research
∙
03/07/2020
A Safety Framework for Critical Systems Utilising Deep Neural Networks
Increasingly sophisticated mathematical modelling processes from Machine...
research
∙
01/24/2020
Towards a Framework for Certification of Reliable Autonomous Systems
A computational system is called autonomous if it is able to make its ow...
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
∙
08/22/2019
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
The battery is a key component of autonomous robots. Its performance lim...
research
∙
12/10/2018
Probabilistic Model Checking of Robots Deployed in Extreme Environments
Robots are increasingly used to carry out critical missions in extreme e...
research
∙
09/27/2018
Multi-Scale Verification of Distributed Synchronisation
Algorithms for the synchronisation of clocks across networks are both co...
research
∙
06/29/2018
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Robotic systems are complex and critical: they are inherently hybrid, co...
research
∙
05/02/2018
Robotics and Integrated Formal Methods: Necessity meets Opportunity
Robotic systems are multi-dimensional entities, combining both hardware ...
research
∙
04/18/2018
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
The spread of autonomous systems into safety-critical areas has increase...
research
∙
03/28/2018
Making Sense of the World: Models for Reliable Sensor-Driven Systems
Sensor-driven systems are increasingly ubiquitous: they provide both dat...
research
∙
01/04/2018
Practical Challenges in Explicit Ethical Machine Reasoning
We examine implemented systems for ethical machine reasoning with a view...
research
∙
12/04/2017
The Game of Blocking Pebbles
Graph Pebbling is a well-studied single-player game on graphs. We introd...
research
∙
09/08/2017
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification
The development and deployment of Autonomous Vehicles (AVs) on our roads...
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
Agent Based Approaches to Engineering Autonomous Space Software
Current approaches to the engineering of space software such as satellit...
research
∙
07/21/1999