Cover Image

Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barhoumi, Oumaima, Zaki, Mohamed H, Tahar, Sofiène
Format:	Preprint
Published:	2026
Subjects:	Robotics Artificial Intelligence Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fast and Modular Autonomy Software for Autonomous Racing Vehicles
by: Saba, Andrew, et al.
Published: (2024)

On the Need for a Statistical Foundation in Scenario-Based Testing of Autonomous Vehicles
by: Zhao, Xingyu, et al.
Published: (2025)

VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System
by: Zhang, Tian, et al.
Published: (2023)

When Autonomous Vehicle Meets V2X Cooperative Perception: How Far Are We?
by: Guo, An, et al.
Published: (2025)

Simulator Ensembles for Trustworthy Autonomous Driving Testing
by: Sorokin, Lev, et al.
Published: (2025)

STCLocker: Deadlock Avoidance Testing for Autonomous Driving Systems
by: Cheng, Mingfei, et al.
Published: (2025)

Open Challenges in the Formal Verification of Autonomous Driving
by: Burgio, Paolo, et al.
Published: (2024)

Boundary State Generation for Testing and Improvement of Autonomous Driving Systems
by: Biagiola, Matteo, et al.
Published: (2023)

Risk Structures: Towards Engineering Risk-aware Autonomous Systems
by: Gleirscher, Mario
Published: (2019)

Argus: Resilience-Oriented Safety Assurance Framework for End-to-End ADSs
by: Wang, Dingji, et al.
Published: (2025)

Key Safety Design Overview in AI-driven Autonomous Vehicles
by: Vyas, Vikas, et al.
Published: (2024)

Behavioral Safety Assessment towards Large-scale Deployment of Autonomous Vehicles
by: Liu, Henry X., et al.
Published: (2025)

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

High-Dimensional Fault Tolerance Testing of Highly Automated Vehicles Based on Low-Rank Models
by: Mei, Yuewen, et al.
Published: (2024)

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

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

Reinforcement Learning for Online Testing of Autonomous Driving Systems: a Replication and Extension Study
by: Giamattei, Luca, et al.
Published: (2024)

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)

Towards LLM-Assisted Architecture Recovery for Real-World ROS~2 Systems: An Agent-Based Multi-Level Approach to Hierarchical Structural Architecture Reconstruction
by: Briechle, Dominique, et al.
Published: (2026)

GAMMS: Graph based Adversarial Multiagent Modeling Simulator
by: Patil, Rohan, et al.
Published: (2026)

KEEP: A KV-Cache-Centric Memory Management System for Efficient Embodied Planning
by: Yang, Zebin, et al.
Published: (2026)

aerial-autonomy-stack -- a Faster-than-real-time, Autopilot-agnostic, ROS2 Framework to Simulate and Deploy Perception-based Drones
by: Panerati, Jacopo, et al.
Published: (2026)

LMV-RPA: Large Model Voting-based Robotic Process Automation
by: Abdellatif, Osama, et al.
Published: (2024)

Agent-Arena: A General Framework for Evaluating Control Algorithms
by: Kadi, Halid Abdulrahim, et al.
Published: (2025)

ROSBag MCP Server: Analyzing Robot Data with LLMs for Agentic Embodied AI Applications
by: Fu, Lei, et al.
Published: (2025)

Modeling Resilience of Collaborative AI Systems
by: Rimawi, Diaeddin, et al.
Published: (2024)

Generating Critical Scenarios for Testing Automated Driving Systems
by: Nguyen, Trung-Hieu, et al.
Published: (2024)

Modeling and Simulation of a Multi Robot System Architecture
by: Sadik, Ahmed R., et al.
Published: (2024)

Multi-Robot System Architecture design in SysML and BPMN
by: Sadik, Ahmed R., et al.
Published: (2024)

Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins
by: Isaku, Erblin, et al.
Published: (2025)

Capability-Driven Skill Generation with LLMs: A RAG-Based Approach for Reusing Existing Libraries and Interfaces
by: da Silva, Luis Miguel Vieira, et al.
Published: (2025)

cuVSLAM: CUDA accelerated visual odometry and mapping
by: Korovko, Alexander, et al.
Published: (2025)

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
by: Saadat, Maryam Ghaffari, et al.
Published: (2024)

Automated System-level Testing of Unmanned Aerial Systems
by: Sartaj, Hassan, et al.
Published: (2024)

Pretrained Embeddings as a Behavior Specification Mechanism
by: Kapoor, Parv, et al.
Published: (2025)

A Method for the Runtime Validation of AI-based Environment Perception in Automated Driving System
by: Aslam, Iqra, et al.
Published: (2024)

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

Decictor: Towards Evaluating the Robustness of Decision-Making in Autonomous Driving Systems
by: Cheng, Mingfei, et al.
Published: (2024)

Two is Better Than One: Digital Siblings to Improve Autonomous Driving Testing
by: Biagiola, Matteo, et al.
Published: (2023)

RoadGen: Generating Road Scenarios for Autonomous Vehicle Testing
by: Yang, Fan, et al.
Published: (2024)