Bolun Qi

Identifiers

• name variant Bolun Qi 0.60 · backfill

Papers (2)

1. Road to safe autonomy with data and formal reasoning cs.SY · 2017 · author #2
2. DRYVR:Data-driven verification and compositional reasoning for automotive systems cs.SY · 2017 · author #2

Mentions

• 1704.06406 #2 · arxiv_oai · confidence 0.70 Bolun Qi
• 1702.06902 #2 · arxiv_oai · confidence 0.70 Bolun Qi

Frequent Coauthors

• Chuchu Fan 2 shared papers
• Sayan Mitra 2 shared papers
• Mahesh Viswanathan 1 shared papers