2 papers
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…