24 citations · 28 across the 4 of their papers we have counts for
3 papers · 1 filter
A Subjective Logic-based method for runtime confidence updates in safety arguments
Benjamin Herd, Jessica Kelly, Clarissa Heinemann +1
We present a method for dynamic quantitative assurance that enhances static safety cases with continuous, runtime-driven confidence updates. The method quantifies and propagates co…
Towards Automated Safety Requirements Derivation Using Agent-based RAG
Balahari Vignesh Balu, Florian Geissler, Francesco Carella +4
We study the automated derivation of safety requirements in a self-driving vehicle use case, leveraging LLMs in combination with agent-based retrieval-augmented generation. Convent…
Navigating the EU AI Act: A Methodological Approach to Compliance for Safety-critical Products
J. Kelly, S. Zafar, L. Heidemann +3
In December 2023, the European Parliament provisionally agreed on the EU AI Act. This unprecedented regulatory framework for AI systems lays out guidelines to ensure the safety, le…