Main menu
Fan, Chuchu
-
2015
Model checking tap withdrawal in c. Elegans
Hybrid Systems Biology – Fourth International Workshop, (HSB) -
2018
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics
Computer Aided Verification – 30th International Conference, (CAV) -
2017
DryVR: Data-driven verification and compositional reasoning for automotive systems
Computer Aided Verification – 29th International Conference, (CAV) -
2015
Bounded verification with on-the-fly discrepancy computation
Automated Technology for Verification and Analysis – 13th International Symposium, (ATVA) -
2016
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
2016 IEEE Conference on Control Applications, (CCA) -
2017
Simulation-Driven Reachability Using Matrix Measures
ACM Transactions on Embedded Computing Systems -
2021
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric
Conference on Learning for Dynamics and Control (L4DC) -
2018
Verifying nonlinear analog and mixed-signal circuits with inputs
IFAC Conference on Analysis and Design of Hybrid Systems, (ADHS)