chuchu
Building Safe Autonomy
Search
Search
Main menu
Home
Publications
A list of publications
About
News
Contact
Qi, Bolun
2018
Qi, Bolun
Fan, Chuchu
Jiang, Minghao
Mitra, Sayan
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)
2018
Fan, Chuchu
Qi, Bolun
Mitra, Sayan
Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features
2016
Fan, Chuchu
Qi, Bolun
Mitra, Sayan
Viswanathan, Mahesh
Duggirala, Parasara Sridhar
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
Computer Aided Verification – 28th International Conference, (CAV)
2016
Duggirala, Parasara Sridhar
Fan, Chuchu
Potok, Matthew
Qi, Bolun
Mitra, Sayan
Viswanathan, Mahesh
Bak, Stanley
Bogomolov, Sergiy
Johnson, Taylor T.
Nguyen, Luan Viet
Schilling, Christian
Sogokon, Andrew
Tran, Hoang-Dung
Xiang, Weiming
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
2016 IEEE Conference on Control Applications, (CCA)
2017
Fan, Chuchu
Qi, Bolun
Mitra, Sayan
Viswanathan, Mahesh
DryVR: Data-driven verification and compositional reasoning for automotive systems
Computer Aided Verification – 29th International Conference, (CAV)