14 citations · 22 across the 4 of their papers we have counts for
4 papers
Proceedings Third Workshop on Graphs as Models
Timo Kehrer, Alice Miller
Graphs are used as models in many areas of computer science and computer engineering. For example graphs are used to represent syntax, control and data flow, dependency, state spac…
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…
Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites
Zhaoguang Peng, Yu Lu, Alice Miller +2
Navigation satellites are a core component of navigation satellite based systems such as GPS, GLONASS and Galileo which provide location and timing information for a variety of use…