Qi, Bolun
- DRYVR:Data-driven verification and compositional reasoning for automotive systems
2017/02/22 by Fan, Chuchu, Qi, Bolun, Mitra, Sayan +1 · 2 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering