4 papers
Negotiation-Aware Reachability-Based Safety Verification for AutonomousDriving in Interactive Scenarios
Ran Tian, Anjian Li, Masayoshi Tomizuka +1
Safety assurance is a critical yet challenging aspect when developing self-driving technologies. Hamilton-Jacobi backward-reachability analysis is a formal verification tool for ve…
Prediction-Based Reachability for Collision Avoidance in Autonomous Driving
Anjian Li, Liting Sun, Wei Zhan +2
Safety is an important topic in autonomous driving since any collision may cause serious injury to people and damage to property. Hamilton-Jacobi (HJ) Reachability is a formal meth…
Generating Robust Supervision for Learning-Based Visual Navigation Using Hamilton-Jacobi Reachability
Anjian Li, Somil Bansal, Georgios Giovanis +3
In Bansal et al. (2019), a novel visual navigation framework that combines learning-based and model-based approaches has been proposed. Specifically, a Convolutional Neural Network…
Guaranteed-Safe Approximate Reachability via State Dependency-Based Decomposition
Anjian Li, Mo Chen
Hamilton Jacobi (HJ) Reachability is a formal verification tool widely used in robotic safety analysis. Given a target set as unsafe states, a dynamical system is guaranteed not to…