Bolun Qi

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 7

Top Topics

Safety Analysis

Top Venues

Publications

Chuchu Fan, Bolun Qi, Sayan Mitra
Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features. IEEE Des. Test 35 (3) (2018)
Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. HSCC (2018)
Chuchu Fan, Bolun Qi, Sayan Mitra
Road to safe autonomy with data and formal reasoning. CoRR (2017)
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. CAV (1) (2017)
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan
DRYVR: Data-driven verification and compositional reasoning for automotive systems. CoRR (2017)
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) (2016)
Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA (2016)