4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.AI2025
Out-of-Distribution Detection for Safety Assurance of AI and Autonomous Systems
Victoria J. Hodge, Colin Paterson, Ibrahim Habli
The operational capabilities and application domains of AI-enabled autonomous systems have expanded significantly in recent years due to advances in robotics and machine learning (…
cs.CY2025★ 4 cited
The BIG Argument for AI Safety Cases
Ibrahim Habli, Richard Hawkins, Colin Paterson +4
We present our Balanced, Integrated and Grounded (BIG) argument for assuring the safety of AI systems. The BIG argument adopts a whole-system approach to constructing a safety case…