Main menu
Fan, Chuchu
-
2015
Meeting a powertrain verification challenge
Computer Aided Verification – 27th International Conference, (CAV) -
2015
Progress on Powertrain Verification Challenge with C2E2
International Workshop on Applied Verification for Continuous and Hybrid Systems, (ARCH) -
2018
Exploiting Partially Annotated Data for Temporal Relation Extraction
The Joint Conference on Lexical and Computational Semantics, (*SEM) -
2020
Multi-agent safety verification using symmetry transformations
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) -
2021
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates
Conference on Learning Representations -
2021
Controller synthesis for linear system with reach-avoid specifications
Transactions on Automatic Control -
2021
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances
The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21) -
2021
Optimal mixed discrete-continuous planning for linear hybrid systems
The 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC)