3 papers
cs.AI2026
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…
cs.AI2025
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…
cs.SE2025
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…