Log In Sign Up

Negotiation-Aware Reachability-Based Safety Verification for AutonomousDriving in Interactive Scenarios

by   Ran Tian, et al.

Safety assurance is a critical yet challenging aspect when developing self-driving technologies. Hamilton-Jacobi backward-reachability analysis is a formal verification tool for verifying the safety of dynamic systems in the presence of disturbances. However, the standard approach is too conservative to be applied to self-driving applications due to its worst-case assumption on humans' behaviors (i.e., guard against worst-case outcomes). In this work, we integrate a learning-based prediction algorithm and a game-theoretic human behavioral model to online update the conservativeness of backward-reachability analysis. We evaluate our approach using real driving data. The results show that, with reasonable assumptions on human behaviors, our approach can effectively reduce the conservativeness of the standard approach without sacrificing its safety verification ability.


page 1

page 2

page 3

page 4


Prediction-Based Reachability for Collision Avoidance in Autonomous Driving

Safety is an important topic in autonomous driving since any collision m...

Rethinking Safe Control in the Presence of Self-Seeking Humans

Safe control methods are often intended to behave safely even in worst-c...

Learning Density Distribution of Reachable States for Autonomous Systems

State density distribution, in contrast to worst-case reachability, can ...

Learning Autonomous Vehicle Safety Concepts from Demonstrations

Evaluating the safety of an autonomous vehicle (AV) depends on the behav...

Safety Verification of Neural Network Controlled Systems

In this paper, we propose a system-level approach for verifying the safe...

Reachability Analysis for FollowerStopper: Safety Analysis and Experimental Results

Motivated by earlier work and the developer of a new algorithm, the Foll...

SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)

In the context of verification of data-aware processes (DAPs), a formal ...