80 citations · 82 across the 6 of their papers we have counts for
4 papers · 1 filter
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…
Safe Coverage of Compact Domains For Second Order Dynamical Systems
Juan Chacon, Mo Chen, Razvan C. Fetecau
Autonomous systems operating in close proximity with each other to cover a specified area has many potential applications, but to achieve effective coordination, two key challenges…
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…
TTR-Based Reward for Reinforcement Learning with Implicit Model Priors
Xubo Lyu, Mo Chen
Model-free reinforcement learning (RL) is a powerful approach for learning control policies directly from high-dimensional state and observation. However, it tends to be data-ineff…