Biblio
Found 5 results
Filters: Author is Qi, Bolun [Clear All Filters]
Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features. IEEE Design and Test. 35:31–38.
.
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). :269–270.
.
2018. DryVR: Data-driven verification and compositional reasoning for automotive systems. Computer Aided Verification - 29th International Conference, (CAV). 10426 LNCS:441–461.
.
2017. Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. Computer Aided Verification - 28th International Conference, (CAV). :531–538.
.
2016. Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. 2016 IEEE Conference on Control Applications, (CCA). :1024–1029.
.
2016.