This page shows all presentations of this author published in EasyChair Smart Slide.
Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems
Jingkai Chen, Brian Williams and Chuchu Fan
Approximate Partial Order Reduction
Chuchu Fan, Zhenqi Huang and Sayan Mitra
Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics
Chuchu Fan, Umang Mathur, Sayan Mitra and Mahesh Viswanathan