14 citations · 22 across the 4 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
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…
eess.SY2014★ 14 cited
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…