Buchumschlag

Towards Automated Safety Requirements Derivation Using Agent-based RAG

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Balu, Balahari Vignesh, Geissler, Florian, Carella, Francesco, Zacchi, Joao-Vitor, Jiru, Josef, Mata, Nuria, Stolle, Reinhard
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Computation and Language Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Towards Dependable Retrieval-Augmented Generation Using Factual Confidence Prediction
von: Geissler, Florian, et al.
Veröffentlicht: (2026)

A Subjective Logic-based method for runtime confidence updates in safety arguments
von: Herd, Benjamin, et al.
Veröffentlicht: (2026)

Concept-Guided LLM Agents for Human-AI Safety Codesign
von: Geissler, Florian, et al.
Veröffentlicht: (2024)

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

Towards Requirements Engineering for RAG Systems
von: Sporsem, Tor, et al.
Veröffentlicht: (2025)

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

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

Multimodality, mass migration and English language teaching
von: Vanderlei J. Zacchi
Veröffentlicht: (2016)

Neoliberalism, Applied Linguistics and the PNLD
von: Vanderlei J. Zacchi
Veröffentlicht: (2016)

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

Prescriptive Agents based on RAG for Automated Maintenance (PARAM)
von: Harbola, Chitranshu, et al.
Veröffentlicht: (2025)

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

Towards an Automated Framework to Audit Youth Safety on TikTok
von: Xue, Linda, et al.
Veröffentlicht: (2025)

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

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

Contiguous Xp21 Deletion Syndrome with Atypical Phenotype Requires Further Clarification Using WES
von: Josef Finsterer
Veröffentlicht: (2025)

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

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

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

ARCeR: an Agentic RAG for the Automated Definition of Cyber Ranges
von: Lupinacci, Matteo, et al.
Veröffentlicht: (2025)

Fluorometric Detection of Sarin Vapor Using Fluorene and Fluorenone Derivatives
von: Valentin A. Bureau, et al.
Veröffentlicht: (2026)

The fluid competence level-oriented advanced project laboratory in physics
von: Schmitt, Franz-Josef, et al.
Veröffentlicht: (2021)

Causally-Guided Automated Feature Engineering with Multi-Agent Reinforcement Learning
von: Malarkkan, Arun Vignesh, et al.
Veröffentlicht: (2026)

Simple Proof of the Primitive Root Conjecture
von: Carella, N. A.
Veröffentlicht: (2017)

Small Primitive Normal Elements in Finite Fields
von: Carella, N. A.
Veröffentlicht: (2025)

Density of Squarefree Totients $p-1$ and Primitive Roots
von: Carella, N. A.
Veröffentlicht: (2024)

Largest Prime Factors of Polynomials
von: Carella, N. A.
Veröffentlicht: (2023)

Legendre Conjecture over Arithmetic Progressions
von: Carella, N. A.
Veröffentlicht: (2024)

Least Consecutive Pair of Primitive Roots
von: Carella, N. A.
Veröffentlicht: (2026)

Primitive Root Conjecture in Arithmetic Progressions
von: Carella, N. A.
Veröffentlicht: (2017)

Small Primes And The Tau Function
von: Carella, N. A.
Veröffentlicht: (2020)

Prime Values of the Euler Polynomial
von: Carella, N. A.
Veröffentlicht: (2019)

Small Prime $k$th Power Residues and Nonresidues in Arithmetic Progressions
von: Carella, N. A.
Veröffentlicht: (2024)

Equidistribution of Primitive Normal Elements in Finite Fields
von: Carella, N. A.
Veröffentlicht: (2026)

Upper Bound of the Least Quadratic Nonresidues
von: Carella, N. A.
Veröffentlicht: (2021)

Small Prime Primitive Roots in Arithmetic Progressions
von: Carella, N. A.
Veröffentlicht: (2025)

Linear Independence Of Some Irrational Numbers
von: Carella, N. A.
Veröffentlicht: (2020)

Simultaneous Primitive Roots over Finite Rings
von: Carella, N. A.
Veröffentlicht: (2025)

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