Bolun Qi

According to our database, Bolun Qi authored at least 6 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems.

Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017

Road to safe autonomy with data and formal reasoning.

Chuchu Fan, Bolun Qi, Sayan Mitra

CoRR, 2017

DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems.

Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2.

Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

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, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang

Proceedings of the 2016 IEEE Conference on Control Applications, 2016