47 citations · 155 across the 18 of their papers we have counts for
3 papers · 1 filter
I'm Sorry Driver, I'm Afraid I Can't Do That: Appraising the Safety of LLMs within Automotive Contexts
Shaun Feakins, Ibrahim Habli, Kim Littler +1
This paper appraises recent frameworks within AI development to integrate LLMs into control tasks in automotive contexts from the perspective of safety assurance. This work has bui…
Clear, Compelling Arguments: Rethinking the Foundations of Frontier AI Safety Cases
Shaun Feakins, Ibrahim Habli, Phillip Morgan
This paper contributes to the nascent debate around safety cases for frontier AI systems. Safety cases are structured, defensible arguments that a system is acceptably safe to depl…
Formal Evidence Generation for Assurance Cases for Robotic Software Models
Fang Yan, Simon Foster, Ana Cavalcanti +2
Robotics and Autonomous Systems are increasingly deployed in safety-critical domains, so that demonstrating their safety is essential. Assurance Cases (ACs) provide structured argu…