1 citations · 1 across the 2 of their papers we have counts for
2 papers
eess.SY2017★ 1 cited
Road to safe autonomy with data and formal reasoning
Chuchu Fan, Bolun Qi, Sayan Mitra
We present an overview of recently developed data-driven tools for safety analysis of autonomous vehicles and advanced driver assist systems. The core algorithms combine model-base…
eess.SY2017
DRYVR:Data-driven verification and compositional reasoning for automotive systems
Chuchu Fan, Bolun Qi, Sayan Mitra +1
We present the DRYVR framework for verifying hybrid control systems that are described by a combination of a black-box simulator for trajectories and a white-box transition graph s…