Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels

Wenjie Wan, Zhaodi Zhang, Yiwei Zhu +2

Deep Neural Networks (DNNs) have become key components of many safety-critical applications such as autonomous driving and medical diagnosis. However, DNNs have been shown sufferin…