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.