Abstract:Addressing decision safety in the unpredictable arena of complex traffic scenarios represents a significant hurdle for autonomous driving systems. Considering the inherent spatial-temporal uncertainties associated with the future actions of surrounding traffic participants, real-time safety verification of autonomous driving decisions is crucial to maintaining vehicular safety. Existing online verification methodologies, such as Responsibility Sensitive Safety (RSS) and Safety Force Field (SFF), ensure driving safety by formalizing human safe-driving rules and constraining the vehicle to maintain safe lateral and longitudinal distances in real-time. While these methods effectively prevent collisions instigated by the autonomous vehicle itself, they lack sufficient foresight and often result in less smooth driving trajectories. To address these limitations, we propose an innovative, interpretable, formal safety verification framework. This approach integrates both explicit and implicit traffic rules to anticipate all legally acceptable transitions of traffic scenarios. It builds the lawful, short-term reachable region for each vehicle, and verifies the safety of autonomous vehicle decisions by assessing whether the regions these vehicles inhabit, in accordance with the expected trajectory, overlap with the accessible zones of other vehicles. Furthermore, in scenarios presenting potential danger, a backup smooth safety trajectory is derived from the autonomous vehicle's legal reachability domain as a preventive measure to degrade safety threats. As a cornerstone of safety for autonomous vehicles, our proposed method ensures a continual safe trajectory in all traffic scenarios, provided that other participants adhere to traffic rules. Experimental outcomes, grounded in the ISO 34502 standard and real-world critical safety scenarios, demonstrate the method's efficacy in identifying potentially dangerous decisions and mitigating aut- nomous vehicle-induced traffic accidents.

A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving

A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving

Online Safety Verification of Autonomous Driving Decision-Making Based on Dynamic Reachability Analysis

A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems

Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model

Ontology-Based Driving Scene Modeling, Situation Assessment and Decision Making for Autonomous Vehicles.

Road to safe autonomy with data and formal reasoning

Modeling and Verification of Autonomous Driving Systems under Stochastic Spatio-Temporal Constraints.

Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World

Uncertainty Modeling and Runtime Verification for Autonomous Vehicles Driving Control: A Machine Learning-Based Approach

Identifying Scenarios in Field Data to Enable Validation of Highly Automated Driving Systems

A Verification Framework for Behavioral Safety of Self‐driving Cars

A Survey on Safety-Critical Driving Scenario Generation -- A Methodological Perspective

Bridging Data-Driven and Knowledge-Driven Approaches for Safety-Critical Scenario Generation in Automated Vehicle Validation

Formal Certification Methods for Automated Vehicle Safety Assessment

Safety Evaluation Method in Multi-Logical Scenarios for Automated Vehicles Based on Naturalistic Driving Trajectory.

Finding Critical Scenarios for Automated Driving Systems: A Systematic Mapping Study

A Survey on Safety-Critical Driving Scenario Generation—A Methodological Perspective

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking

Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition

Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes