TY  - RPRT
TI  - Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels
AU  - Wenjie Wan
AU  - Zhaodi Zhang
AU  - Yiwei Zhu
AU  - Min Zhang
AU  - Fu Song
PY  - 2020
UR  - https://arxiv.org/abs/2007.08520
ID  - 2007.08520
ER  -