Collaborated with:C.Fan S.Mitra M.V.0001 P.S.Duggirala
Talks about:nonlinear (1) reachabl (1) composit (1) automot (1) automat (1) analysi (1) system (1) reason (1) hybrid (1) driven (1)
Person: Bolun Qi
DBLP: Qi:Bolun
Contributed to:
20162017Wrote 2 papers:
- CAV-2016-FanQM0D #analysis #automation #hybrid #modelling #reachability
- Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 (CF, BQ, SM, MV0, PSD), pp. 531–538.
- CAV-2017-FanQM0 #composition #data-driven #named #reasoning #verification
- DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems (CF, BQ, SM, MV0), pp. 441–461.