Autonomous Agent Behaviour Modelled in PRISM - A Case Study. - Ruth Hoffmann; Murray L. Ireland; Alice Miller 001; Gethin Norman; Sandor M. Veres (SPIN, 2016)

A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. - Murray L. Ireland; Ruth Hoffmann; Alice Miller 001; Gethin Norman; Sandor M. Veres (CoRR, 2016)

Strategy Synthesis for Autonomous Agents Using PRISM. - Ruben Giaquinta; Ruth Hoffmann; Murray L. Ireland; Alice Miller 001; Gethin Norman (NFM, 2018)

Optimisation of Trajectories for Wireless Power Transmission to a Quadrotor Aerial Robot. - Murray L. Ireland; David Anderson 005 (J. Intell. Robotic Syst., 2019)