Cover Image

Towards Automated Safety Requirements Derivation Using Agent-based RAG

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Balu, Balahari Vignesh, Geissler, Florian, Carella, Francesco, Zacchi, Joao-Vitor, Jiru, Josef, Mata, Nuria, Stolle, Reinhard
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Computation and Language Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems
by: Zacchi, João-Vitor, et al.
Published: (2025)

Towards Dependable Retrieval-Augmented Generation Using Factual Confidence Prediction
by: Geissler, Florian, et al.
Published: (2026)

A Subjective Logic-based method for runtime confidence updates in safety arguments
by: Herd, Benjamin, et al.
Published: (2026)

Concept-Guided LLM Agents for Human-AI Safety Codesign
by: Geissler, Florian, et al.
Published: (2024)

Navigating the EU AI Act: A Methodological Approach to Compliance for Safety-critical Products
by: Kelly, J., et al.
Published: (2024)

Towards Requirements Engineering for RAG Systems
by: Sporsem, Tor, et al.
Published: (2025)

Imagem e movimento: o modo visual na construção da identidade do sem-terra
by: Vanderlei J. Zacchi
Published: (2009)

Desigualdades educacionais na educação básica: uma investigação a partir do Exame Nacional do Ensino Médio
by: Raquel Callegario Zacchi
Published: (2016)

Multimodality, mass migration and English language teaching
by: Vanderlei J. Zacchi
Published: (2016)

Neoliberalism, Applied Linguistics and the PNLD
by: Vanderlei J. Zacchi
Published: (2016)

Toward a Harmonized Approach -- Requirement-based Structuring of a Safety Assurance Argumentation for Automated Vehicles
by: Loba, Marvin, et al.
Published: (2025)

Prescriptive Agents based on RAG for Automated Maintenance (PARAM)
by: Harbola, Chitranshu, et al.
Published: (2025)

Event-Chain Analysis for Automated Driving and ADAS Systems: Ensuring Safety and Meeting Regulatory Timing Requirements
by: Dingler, Sebastian, et al.
Published: (2025)

Towards an Automated Framework to Audit Youth Safety on TikTok
by: Xue, Linda, et al.
Published: (2025)

LOS INMIGRANTES MARROQUÍES EN ANDALUCÍA Y LAS POLÍTICAS DE COOPERACIÓN HISPANO-MARROQUÍES
by: Maria Carella
Published: (1999)

Approaching Safety-Argumentation-by-Design: A Requirement-based Safety Argumentation Life Cycle for Automated Vehicles
by: Loba, Marvin, et al.
Published: (2025)

Contiguous Xp21 Deletion Syndrome with Atypical Phenotype Requires Further Clarification Using WES
by: Josef Finsterer
Published: (2025)

Hintergrund der neuen Schadensäquivalenzfaktoren für den Ermüdungsnachweis von Straßenbrücken
by: Josef Karl Kraus, et al.
Published: (2026)

Analytische Herleitung von Verkehrslastmodellen für Straßenbrücken
by: Josef Karl Kraus, et al.
Published: (2025)

Boosting Design Thinking adoption in organisations through a game‐based toolkit: A gamified approach in building facilitators to overcome Design Thinking adoption barriers
by: Gianluca Carella, et al.
Published: (2024)

ARCeR: an Agentic RAG for the Automated Definition of Cyber Ranges
by: Lupinacci, Matteo, et al.
Published: (2025)

Fluorometric Detection of Sarin Vapor Using Fluorene and Fluorenone Derivatives
by: Valentin A. Bureau, et al.
Published: (2026)

The fluid competence level-oriented advanced project laboratory in physics
by: Schmitt, Franz-Josef, et al.
Published: (2021)

Causally-Guided Automated Feature Engineering with Multi-Agent Reinforcement Learning
by: Malarkkan, Arun Vignesh, et al.
Published: (2026)

Simple Proof of the Primitive Root Conjecture
by: Carella, N. A.
Published: (2017)

Small Primitive Normal Elements in Finite Fields
by: Carella, N. A.
Published: (2025)

Density of Squarefree Totients $p-1$ and Primitive Roots
by: Carella, N. A.
Published: (2024)

Largest Prime Factors of Polynomials
by: Carella, N. A.
Published: (2023)

Legendre Conjecture over Arithmetic Progressions
by: Carella, N. A.
Published: (2024)

Least Consecutive Pair of Primitive Roots
by: Carella, N. A.
Published: (2026)

Primitive Root Conjecture in Arithmetic Progressions
by: Carella, N. A.
Published: (2017)

Small Primes And The Tau Function
by: Carella, N. A.
Published: (2020)

Prime Values of the Euler Polynomial
by: Carella, N. A.
Published: (2019)

Small Prime $k$th Power Residues and Nonresidues in Arithmetic Progressions
by: Carella, N. A.
Published: (2024)

Equidistribution of Primitive Normal Elements in Finite Fields
by: Carella, N. A.
Published: (2026)

Upper Bound of the Least Quadratic Nonresidues
by: Carella, N. A.
Published: (2021)

Small Prime Primitive Roots in Arithmetic Progressions
by: Carella, N. A.
Published: (2025)

Linear Independence Of Some Irrational Numbers
by: Carella, N. A.
Published: (2020)

Simultaneous Primitive Roots over Finite Rings
by: Carella, N. A.
Published: (2025)

Prediction Horizon Requirements for Automated Driving: Optimizing Safety, Comfort, and Efficiency
by: Sánchez, Manuel Muñoz, et al.
Published: (2024)