3 citations · 3 across the 7 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2022
Safety Analysis of Autonomous Driving Systems Based on Model Learning
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…
cs.AI2020
Improving Neural Network Verification through Spurious Region Guided Refinement
Pengfei Yang, Renjue Li, Jianlin Li +5
We propose a spurious region guided refinement approach for robustness verification of deep neural networks. Our method starts with applying the DeepPoly abstract domain to analyze…