research
∙
07/03/2023
Soft Gripping: Specifying for Trustworthiness
Soft robotics is an emerging technology in which engineers create flexib...
share
research
∙
02/20/2023
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
The behaviours of a swarm are not explicitly engineered. Instead, they a...
research
∙
08/10/2022
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V V Process
Automated Vehicles (AVs) are rapidly maturing in the transportation doma...
research
∙
06/22/2022
On Specifying for Trustworthiness
As autonomous systems are becoming part of our daily lives, ensuring the...
research
∙
11/08/2021
Safety Validation of Autonomous Vehicles using Assertion-based Oracles
Safety and mission performance validation of autonomous vehicles is a ma...
research
∙
04/07/2021
On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification
Game engines are increasingly used as simulation platforms by the autono...
research
∙
06/26/2020
CyRes – Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract)
Existing approaches to cyber security and regulation in the automotive s...
research
∙
12/11/2019