5 citations · 7 across the 6 of their papers we have counts for
1 paper · 2 filters
Shiqi Wang, Kexin Pei, Justin Whitehouse +2
Due to the increasing deployment of Deep Neural Networks (DNNs) in real-world security-critical domains including autonomous vehicles and collision avoidance systems, formally chec…