Login / Signup
Murray Ireland
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Autonomous Systems
Controller Synthesis
False Alarms
Object Detection
Top Venues
CoRR
Formal Aspects Comput.
J. Intell. Robotic Syst.
</>
Publications
</>
Richard Hawkins
,
Chiara Picardi
,
Lucy Donnell
,
Murray Ireland
Creating a Safety Assurance Case for a Machine Learned Satellite-Based Wildfire Detection and Alert System.
J. Intell. Robotic Syst.
108 (3) (2023)
Richard Hawkins
,
Chiara Picardi
,
Lucy Donnell
,
Murray Ireland
Creating a Safety Assurance Case for an ML Satellite-Based Wildfire Detection and Alert System.
CoRR
(2022)
Douglas Fraser
,
Ruben Giaquinta
,
Ruth Hoffmann
,
Murray Ireland
,
Alice Miller
,
Gethin Norman
Collaborative models for autonomous systems controller synthesis.
Formal Aspects Comput.
32 (2-3) (2020)