24 citations · 28 across the 4 of their papers we have counts for
4 papers
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…
APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems
João-Vitor Zacchi, Edoardo Clementi, Núria Mata
Automated driving technologies promise substantial improvements in transportation safety, efficiency, and accessibility. However, ensuring the reliability and safety of Autonomous…
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…