Cover Image

The Open Autonomy Safety Case Framework

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wagner, Michael, Carlan, Carmen
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Machine Learning Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
by: Gleirscher, Mario, et al.
Published: (2017)

Few-Shot Scenario Testing for Autonomous Vehicles Based on Neighborhood Coverage and Similarity
by: Li, Shu, et al.
Published: (2024)

Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels
by: Isaku, Erblin, et al.
Published: (2025)

ACT: Automated CPS Testing for Open-Source Robotic Platforms
by: Krishnan, Aditya A., et al.
Published: (2026)

PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator
by: Tehrani, Masoud Jamshidiyan, et al.
Published: (2025)

NanoCockpit: Performance-optimized Application Framework for AI-based Autonomous Nanorobotics
by: Cereda, Elia, et al.
Published: (2026)

ForzaETH Race Stack -- Scaled Autonomous Head-to-Head Racing on Fully Commercial off-the-Shelf Hardware
by: Baumann, Nicolas, et al.
Published: (2024)

Exploring Robot Trajectory Planning -- A Comparative Analysis of Algorithms And Software Implementations in Dynamic Environments
by: Bora, Arunabh
Published: (2024)

RED: Adaptive Real-Time DAG Scheduling for Robotic Inference under Environmental Dynamics
by: Li, Zexin, et al.
Published: (2026)

Learning Responsibility-Attributed Adversarial Scenarios for Testing Autonomous Vehicles
by: Xiao, Yizhuo, et al.
Published: (2026)

IndustriConnect: MCP Adapters and Mock-First Evaluation for AI-Assisted Industrial Operations
by: Xavier, Melwin, et al.
Published: (2026)

Safety Factories - a Manifesto
by: Cârlan, Carmen, et al.
Published: (2025)

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
by: Gleirscher, Mario, et al.
Published: (2021)

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems
by: Bensalem, Saddek, et al.
Published: (2023)

A self-adaptive system of systems architecture to enable its ad-hoc scalability: Unmanned Vehicle Fleet -- Mission Control Center Case study
by: Sadik, Ahmed R., et al.
Published: (2024)

On Extending the Automatic Test Markup Language (ATML) for Machine Learning
by: Cody, Tyler, et al.
Published: (2024)

LEADS: Lightweight Embedded Assisted Driving System
by: Fu, Tianhao, et al.
Published: (2024)

Exploring Robustness of Image Recognition Models on Hardware Accelerators
by: Louloudakis, Nikolaos, et al.
Published: (2023)

Explainable AI for Engineering Design: A Unified Approach of Systems Engineering and Component- Based Deep Learning Demonstrated by Energy- Efficient Building Design
by: Geyer, Philipp, et al.
Published: (2021)

Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
by: Ghazal, Zaid, et al.
Published: (2026)

Predicting Safety Misbehaviours in Autonomous Driving Systems using Uncertainty Quantification
by: Grewal, Ruben, et al.
Published: (2024)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
by: Adam, Mustafa, et al.
Published: (2025)

Choose Your Simulator Wisely: A Review on Open-source Simulators for Autonomous Driving
by: Li, Yueyuan, et al.
Published: (2023)

Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules
by: Sidorenko, Aleksandr, et al.
Published: (2024)

Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
by: A., Gustavo Quiros, et al.
Published: (2025)

Analysis of Functional Insufficiencies and Triggering Conditions to Improve the SOTIF of an MPC-based Trajectory Planner
by: Conrad, Mirko, et al.
Published: (2024)

Fast and Realistic Automated Scenario Simulations and Reporting for an Autonomous Racing Stack
by: Lambertini, Giovanni, et al.
Published: (2025)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
by: Krook, Jonas, et al.
Published: (2022)

The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
by: Abbaspour, Alireza, et al.
Published: (2026)

A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems
by: Dudek, Wojciech, et al.
Published: (2023)

LucidGrasp: Robotic Framework for Autonomous Manipulation of Laboratory Equipment with Different Degrees of Transparency via 6D Pose Estimation
by: Makarova, Maria, et al.
Published: (2024)

Assuring the Safety of Reinforcement Learning Components: AMLAS-RL
by: Imrie, Calum Corrie, et al.
Published: (2025)

LADRI: LeArning-based Dynamic Risk Indicator in Automated Driving System
by: Patel, Anil Ranjitbhai, et al.
Published: (2024)

DiTOX: Fault Detection and Localization in the ONNX Optimizer
by: Louloudakis, Nikolaos, et al.
Published: (2025)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
by: Vázquez, Gricel, et al.
Published: (2026)

System Safety Monitoring of Learned Components Using Temporal Metric Forecasting
by: Sharifi, Sepehr, et al.
Published: (2024)

Assuring Safety of Vision-Based Swarm Formation Control
by: Hsieh, Chiao, et al.
Published: (2022)

Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition
by: Louloudakis, Nikolaos, et al.
Published: (2023)

EVORA: Deep Evidential Traversability Learning for Risk-Aware Off-Road Autonomy
by: Cai, Xiaoyi, et al.
Published: (2023)

STaleX: A Spatiotemporal-Aware Adaptive Auto-scaling Framework for Microservices
by: Dashtbani, Majid, et al.
Published: (2025)