47 citations · 155 across the 18 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.CY2024
Upstream and Downstream AI Safety: Both on the Same River?
John McDermid, Yan Jia, Ibrahim Habli
Traditional safety engineering assesses systems in their context of use, e.g. the operational design domain (road layout, speed limits, weather, etc.) for self-driving vehicles (in…
cs.LG2024
Learning Run-time Safety Monitors for Machine Learning Components
Ozan Vardal, Richard Hawkins, Colin Paterson +4
For machine learning components used as part of autonomous systems (AS) in carrying out critical tasks it is crucial that assurance of the models can be maintained in the face of p…
cs.SE2024★ 15 cited
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
Ran Wei, Simon Foster, Haitao Mei +7
Assurance cases are used to communicate and assess confidence in critical system properties such as safety and security. Historically, assurance cases have been manually created do…