4 citations · 10 across the 3 of their papers we have counts for
3 papers
Creating a Safety Assurance Case for an ML Satellite-Based Wildfire Detection and Alert System
Richard Hawkins, Chiara Picardi, Lucy Donnell +1
Wildfires are a common problem in many areas of the world with often catastrophic consequences. A number of systems have been created to provide early warnings of wildfires, includ…
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods
Murray L. Ireland, Ruth Hoffmann, Alice Miller +2
If autonomous vehicles are to be widely accepted, we need to ensure their safe operation. For this reason, verification and validation (V&V) approaches must be developed that are s…
Autonomous Agent Behaviour Modelled in PRISM -- A Case Study
Ruth Hoffmann, Murray Ireland, Alice Miller +2
Formal verification of agents representing robot behaviour is a growing area due to the demand that autonomous systems have to be proven safe. In this paper we present an abstract…