55 citations · 69 across the 15 of their papers we have counts for
1 paper · 2 filters
Renjue Li, Tianhang Qin, Pengfei Yang +3
We present a practical verification method for safety analysis of the autonomous driving system (ADS). The main idea is to build a surrogate model that quantitatively depicts the b…