4 papers
Engineering Reliable Autonomous Systems: Challenges and Solutions
Marie Farrell, Matt Luckcuck, Angelo Ferrando +28
Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them…
Out-of-Distribution Detection for Safety Assurance of AI and Autonomous Systems
Victoria J. Hodge, Colin Paterson, Ibrahim Habli
The operational capabilities and application domains of AI-enabled autonomous systems have expanded significantly in recent years due to advances in robotics and machine learning (…
The BIG Argument for AI Safety Cases
Ibrahim Habli, Richard Hawkins, Colin Paterson +4
We present our Balanced, Integrated and Grounded (BIG) argument for assuring the safety of AI systems. The BIG argument adopts a whole-system approach to constructing a safety case…
Learning Run-time Safety Monitors for Machine Learning Components
Ozan Vardal, Richard Hawkins, Colin Paterson +4
For machine learning components used as part of autonomous systems (AS) in carrying out critical tasks it is crucial that assurance of the models can be maintained in the face of p…