80 citations · 82 across the 6 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
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…
math.OC2017★ 1 cited
A Hybrid Framework for Multi-Vehicle Collision Avoidance
Aparna Dhinakaran, Mo Chen, Glen Chou +2
With the recent surge of interest in UAVs for civilian services, the importance of developing tractable multi-agent analysis techniques that provide safety and performance guarante…