Murray L. Ireland
发表
David Anderson,
Aldo Vargas,
Murray L. Ireland,
2015
.
David Anderson,
Aldo Vargas,
Murray L. Ireland,
2014
.
Kevin Ferguson,
David Anderson,
Douglas Thomson,
2015
.
Kevin Ferguson,
Douglas Thomson,
Murray L. Ireland,
2015
.
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods
pdf
Sandor M. Veres,
Gethin Norman,
Murray L. Ireland,
2016,
ArXiv.
David Anderson,
Murray L. Ireland,
C.W.A. Murray,
2014
.
Bill Crowther,
Peter Mendham,
Chisato Kobayashi,
2017
.
Aldo Vargas,
Murray L. Ireland,
David Anderson,
2015
.
David Anderson,
Aldo Vargas,
Murray L. Ireland,
2015
.
Murray L. Ireland,
David Anderson,
2019,
J. Intell. Robotic Syst..
Douglas Thomson,
Thaleia Flessa,
Murray L. Ireland,
2017
.
Douglas Thomson,
Thaleia Flessa,
Murray L. Ireland,
2017
.
David Anderson,
Murray L. Ireland,
2015
.
David Anderson,
Murray L. Ireland,
David Anderson,
2012
.
Murray L. Ireland,
2014
.
Gethin Norman,
Murray L. Ireland,
Alice Miller,
2020,
Formal Aspects of Computing.
Murray L. Ireland,
R. Hawkins,
Chiara Picardi,
2022,
2211.04530.
Sandor M. Veres,
Gethin Norman,
Murray L. Ireland,
2016,
SPIN.
Murray L. Ireland,
D. Thomson,
Thaleia Flessa,
2017
.