2 citations · 2 across the 2 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.RO2019
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…
math.OC2019
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…