Main menu
Fan, Chuchu
-
2016
Locally Optimal Reach Set Over-approximation for Nonlinear Systems
Proceedings of the 13th International Conference on Embedded Software, (EMSOFT) -
2014
Invariant verification of nonlinear hybrid automata networks of cardiac cells
Computer Aided Verification – 26th International Conference, (CAV) -
2020
Fast and guaranteed safe controller synthesis for nonlinear vehicle models
International Conference on Computer Aided Verification (CAV) -
2018
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems
Hybrid Systems: Computation and Control – 21st International Conference, (HSCC) -
2016
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
Computer Aided Verification – 28th International Conference, (CAV) -
2019
Partial or Complete, That’s The Question
North American Chapter of the Association for Computational Linguistics (NAACL) -
2020
Reactive motion planning with probabilistics safety guarantees
Conference on Robot Learning (CoRL) -
2017
Bounded invariant verification for time-delayed nonlinear networked dynamical systems
Nonlinear Analysis: Hybrid Systems -
2019
Data-Driven Safety Verification of Complex Cyber-Physical Systems
Design Automation of Cyber-Physical Systems