4 citations · 8 across the 4 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.RO2016★ 4 cited
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…
eess.SY2016★ 3 cited
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…