Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. - Parasara Sridhar Duggirala; Chuchu Fan; Matthew Potok; Bolun Qi; Sayan Mitra; Mahesh Viswanathan 001; Stanley Bak; Sergiy Bogomolov; Taylor T. Johnson; Luan Viet Nguyen; Christian Schilling 001; Andrew Sogokon; et al. (CCA, 2016)

Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. - Chuchu Fan; Bolun Qi; Sayan Mitra; Mahesh Viswanathan 001; Parasara Sridhar Duggirala (CAV (1), 2016)

DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. - Chuchu Fan; Bolun Qi; Sayan Mitra; Mahesh Viswanathan 001 (CAV (1), 2017)

Road to safe autonomy with data and formal reasoning. - Chuchu Fan; Bolun Qi; Sayan Mitra (CoRR, 2017)

DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. - Bolun Qi; Chuchu Fan; Minghao Jiang; Sayan Mitra (HSCC, 2018)

Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features. - Chuchu Fan; Bolun Qi; Sayan Mitra (IEEE Des. Test, 2018)