Bolun Qi
Bolun Qi
Unknown affiliation
Verified email at illinois.edu
Title
Cited by
Cited by
Year
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
572016
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
352017
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
182018
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
82016
Road to safe autonomy with data and formal reasoning
C Fan, B Qi, S Mitra
arXiv preprint arXiv:1704.06406, 2017
32017
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
12018
Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features
B Qi
2018
Towards parallelization of simulation-based reachability
B Qi
2016
The system can't perform the operation now. Try again later.
Articles 1–8