Murray L. Ireland

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 5

Top Topics

Autonomous Agents

Multi Agent Environments

Top Venues

J. Intell. Robotic Syst.

Publications

Murray L. Ireland, David Anderson
Optimisation of Trajectories for Wireless Power Transmission to a Quadrotor Aerial Robot. J. Intell. Robotic Syst. 95 (2) (2019)
Ruben Giaquinta, Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman
Strategy Synthesis for Autonomous Agents Using PRISM. NFM (2018)
Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. CoRR (2016)
Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, Sandor M. Veres
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. CoRR (2016)
Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. SPIN (2016)