Murray Ireland

According to our database, Murray Ireland authored at least 3 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Creating a Safety Assurance Case for a Machine Learned Satellite-Based Wildfire Detection and Alert System.

Richard Hawkins, Chiara Picardi, Lucy Donnell, Murray Ireland

J. Intell. Robotic Syst., July, 2023

2022

Creating a Safety Assurance Case for an ML Satellite-Based Wildfire Detection and Alert System.

Richard Hawkins, Chiara Picardi, Lucy Donnell, Murray Ireland

CoRR, 2022

2020

Collaborative models for autonomous systems controller synthesis.

Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman

Formal Aspects Comput., 2020