DeepAI
Log In Sign Up

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

06/04/2021
by   Ran Tian, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

11/24/2020

Prediction-Based Reachability for Collision Avoidance in Autonomous Driving

Safety is an important topic in autonomous driving since any collision m...
12/01/2022

Rethinking Safe Control in the Presence of Self-Seeking Humans

Safe control methods are often intended to behave safely even in worst-c...
09/14/2021

Learning Density Distribution of Reachable States for Autonomous Systems

State density distribution, in contrast to worst-case reachability, can ...
10/06/2022

Learning Autonomous Vehicle Safety Concepts from Demonstrations

Evaluating the safety of an autonomous vehicle (AV) depends on the behav...
11/10/2020

Safety Verification of Neural Network Controlled Systems

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

Reachability Analysis for FollowerStopper: Safety Analysis and Experimental Results

Motivated by earlier work and the developer of a new algorithm, the Foll...
08/27/2021

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

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