Murray L. Ireland

Orcid: 0000-0001-9091-7071

According to our database¹, Murray L. Ireland authored at least 4 papers between 2016 and 2019.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2019

Optimisation of Trajectories for Wireless Power Transmission to a Quadrotor Aerial Robot.

[BibT_eX]

[DOI]

Murray L. Ireland

David Anderson

J. Intell. Robotic Syst., 2019

2018

Strategy Synthesis for Autonomous Agents Using PRISM.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2016

A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods.

[BibT_eX]

[DOI]

CoRR, 2016

Autonomous Agent Behaviour Modelled in PRISM - A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Murray L. Ireland

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...