TY  - RPRT
TI  - Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective
AU  - Mark Huasong Meng
AU  - Guangdong Bai
AU  - Sin Gee Teo
AU  - Zhe Hou
AU  - Yan Xiao
AU  - Yun Lin
AU  - Jin Song Dong
PY  - 2022
DO  - 10.1109/tdsc.2022.3179131
UR  - https://arxiv.org/abs/2206.12227
ID  - 2206.12227
ER  -