Buchumschlag

From High-Dimensional Spaces to Verifiable ODD Coverage for Safety-Critical AI-based Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Stefani, Thomas, Christensen, Johann Maximilian, Hoemann, Elena, Köster, Frank, Hallerbach, Sven
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Defining Operational Conditions for Safety-Critical AI-Based Systems from Data
von: Christensen, Johann Maximilian, et al.
Veröffentlicht: (2026)

How to design a dataset compliant with an ML-based system ODD?
von: Cappi, Cyril, et al.
Veröffentlicht: (2024)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
von: Kirchner, Sven, et al.
Veröffentlicht: (2025)

Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems
von: Mavridou, Anastasia, et al.
Veröffentlicht: (2025)

ODD: A Benchmark Dataset for the Natural Language Processing based Opioid Related Aberrant Behavior Detection
von: Kwon, Sunjae, et al.
Veröffentlicht: (2023)

Agentic AI-based Coverage Closure for Formal Verification
von: Pothireddypalli, Sivaram, et al.
Veröffentlicht: (2026)

Safety Cases: How to Justify the Safety of Advanced AI Systems
von: Clymer, Joshua, et al.
Veröffentlicht: (2024)

Rethinking Soft Actor-Critic in High-Dimensional Action Spaces: The Cost of Ignoring Distribution Shift
von: Chen, Yanjun, et al.
Veröffentlicht: (2024)

Private, Verifiable, and Auditable AI Systems
von: South, Tobin
Veröffentlicht: (2025)

Meta-Agent: From Task Descriptions to Verified Multi-Agent Systems
von: Xu, Andy, et al.
Veröffentlicht: (2026)

Verifying Machine Unlearning with Explainable AI
von: Vidal, Àlex Pujol, et al.
Veröffentlicht: (2024)

Reconstruction-Based Adaptive Scheduling Using AI Inferences in Safety-Critical Systems
von: Alshaer, Samer, et al.
Veröffentlicht: (2025)

Agent2Agent Threats in Safety-Critical LLM Assistants: A Human-Centric Taxonomy
von: Stappen, Lukas, et al.
Veröffentlicht: (2026)

From Sorting Algorithms to Scalable Kernels: Bayesian Optimization in High-Dimensional Permutation Spaces
von: Xie, Zikai, et al.
Veröffentlicht: (2025)

Attestable Audits: Verifiable AI Safety Benchmarks Using Trusted Execution Environments
von: Schnabl, Christoph, et al.
Veröffentlicht: (2025)

IRDS: Interpretable RLVR Data Selection via Verifier-Coupled Sparse Autoencoder Coverage
von: Li, Yuhan, et al.
Veröffentlicht: (2026)

Deep Reinforcement Learning Based Systems for Safety Critical Applications in Aerospace
von: Sherifi, Abedin
Veröffentlicht: (2024)

Formally Verified Approximate Policy Iteration
von: Schäffeler, Maximilian, et al.
Veröffentlicht: (2024)

Permissive Safety Through Trusted Inference: Verifiable Belief-Space Neural Safety Filters for Assured Interactive Robotics
von: Hu, Haimin
Veröffentlicht: (2026)

Embodied AI in Mobile Robots: Coverage Path Planning with Large Language Models
von: Kong, Xiangrui, et al.
Veröffentlicht: (2024)

MedCEG: Reinforcing Verifiable Medical Reasoning with Critical Evidence Graph
von: Mu, Linjie, et al.
Veröffentlicht: (2025)

LLM-based Realistic Safety-Critical Driving Video Generation
von: Fu, Yongjie, et al.
Veröffentlicht: (2025)

A Conceptual Framework for AI-based Decision Systems in Critical Infrastructures
von: Leyli-abadi, Milad, et al.
Veröffentlicht: (2025)

AI Safety is Stuck in Technical Terms -- A System Safety Response to the International AI Safety Report
von: Dobbe, Roel
Veröffentlicht: (2025)

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems
von: He, Jun, et al.
Veröffentlicht: (2026)

Competition-Aware CPC Forecasting with Near-Market Coverage
von: Frey, Sebastian, et al.
Veröffentlicht: (2026)

Robust Taylor-Lagrange Control for Safety-Critical Systems
von: Xiao, Wei, et al.
Veröffentlicht: (2026)

Learning to Reason: Targeted Knowledge Discovery and Fuzzy Logic Update for Robust Image Recognition
von: Srinivas, Gurucharan, et al.
Veröffentlicht: (2026)

SafeEmbodAI: a Safety Framework for Mobile Robots in Embodied AI Systems
von: Zhang, Wenxiao, et al.
Veröffentlicht: (2024)

Multimodal Reinforcement Learning with Adaptive Verifier for AI Agents
von: Tan, Reuben, et al.
Veröffentlicht: (2025)

Out-of-Distribution Detection for Safety Assurance of AI and Autonomous Systems
von: Hodge, Victoria J., et al.
Veröffentlicht: (2025)

Breaking the Safety-Capability Tradeoff: Reinforcement Learning with Verifiable Rewards Maintains Safety Guardrails in LLMs
von: Cho, Dongkyu Derek, et al.
Veröffentlicht: (2025)

Visualizing High-Dimensional Configuration Spaces: A Comprehensive Analytical Approach
von: Jimenez, Jorge Ocampo, et al.
Veröffentlicht: (2023)

Accurately Predicting Probabilities of Safety-Critical Rare Events for Intelligent Systems
von: Bai, Ruoxuan, et al.
Veröffentlicht: (2024)

PACAD-Based Structural Reasoning for AGI: From Probabilistic Pattern-Matching to Verifiable Canonical Architectures – paper 1, version 2
von: Brown, Cameron
Veröffentlicht: (2026)

Reinforcement Learning-based Receding Horizon Control using Adaptive Control Barrier Functions for Safety-Critical Systems
von: Sabouni, Ehsan, et al.
Veröffentlicht: (2024)

DeepVision-103K: A Visually Diverse, Broad-Coverage, and Verifiable Mathematical Dataset for Multimodal Reasoning
von: Sun, Haoxiang, et al.
Veröffentlicht: (2026)

Differentiable Inductive Logic Programming in High-Dimensional Space
von: Purgał, Stanisław J., et al.
Veröffentlicht: (2022)

Snakemaker: Seamlessly transforming ad-hoc analyses into sustainable Snakemake workflows with generative AI
von: Masera, Marco, et al.
Veröffentlicht: (2025)

PowerChain: A Verifiable Agentic AI System for Automating Distribution Grid Analyses
von: Badmus, Emmanuel O., et al.
Veröffentlicht: (2025)