chuchu
Building Safe Autonomy
Search
Search
Main menu
Home
Publications
A list of publications
About
News
Contact
Kristina Miller
2020
Fan, Chuchu
Kristina Miller
Mitra, Sayan
Fast and guaranteed safe controller synthesis for nonlinear vehicle models
International Conference on Computer Aided Verification (CAV)
2021
Chuchu Fan
Kristina Miller
Mitra, Sayan
Fast and Guaranteed Safe Controller Synthesis for Aerial Vehicle Models
AIAA Scitech 2021 Forum
2021
Kristina Miller
Chuchu Fan
Mitra, Sayan
Planning in Dynamic and Partially Unknown Environments
IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)
