48 citations · 192 across the 38 of their papers we have counts for
4 papers · 1 filter
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances
Jingkai Chen, Jiaoyang Li, Chuchu Fan +1
We present a scalable and effective multi-agent safe motion planner that enables a group of agents to move to their desired locations while avoiding collisions with obstacles and o…
Reactive motion planning with probabilistic safety guarantees
Yuxiao Chen, Ugo Rosolia, Chuchu Fan +2
Motion planning in environments with multiple agents is critical to many important autonomous applications such as autonomous vehicles and assistive robots. This paper considers th…
Learning Certified Control using Contraction Metric
Dawei Sun, Susmit Jha, Chuchu Fan
In this paper, we solve the problem of finding a certified control policy that drives a robot from any given initial state and under any bounded disturbance to the desired referenc…
Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference
Chuchu Fan, Xin Qin, Yuan Xia +2
In this paper, we propose conformal inference based approach for statistical verification of CPS models. Cyber-physical systems (CPS) such as autonomous vehicles, avionic systems,…