| DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems C Fan, B Qi, S Mitra, M Viswanathan International Conference on Computer Aided Verification, 441-461, 2017 | 118 | 2017 |
| Automatic reachability analysis for nonlinear hybrid models with C2E2 C Fan, B Qi, S Mitra, M Viswanathan, PS Duggirala International Conference on Computer Aided Verification, 531-538, 2016 | 99 | 2016 |
| Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features C Fan, B Qi, S Mitra IEEE Design & Test 35 (3), 31-38, 2018 | 29 | 2018 |
| DryVR 2.0: a tool for verification and controller synthesis of black-box cyber-physical systems B Qi, C Fan, M Jiang, S Mitra Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 15 | 2018 |
| Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP PS Duggirala, C Fan, M Potok, B Qi, S Mitra, M Viswanathan, S Bak, ... 2016 IEEE Conference on Control Applications (CCA), 1024-1029, 2016 | 10 | 2016 |
| Road to safe autonomy with data and formal reasoning C Fan, B Qi, S Mitra arXiv preprint arXiv:1704.06406, 2017 | 3 | 2017 |
| Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features B Qi University of Illinois at Urbana-Champaign, 2018 | 2 | 2018 |
| Towards parallelization of simulation-based reachability B Qi | | 2016 |
