@misc{indiciae657aa128737a,
  title = {Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective},
  author = {Mark Huasong Meng and Guangdong Bai and Sin Gee Teo and Zhe Hou and Yan Xiao and Yun Lin and Jin Song Dong},
  year = {2022},
  doi = {10.1109/tdsc.2022.3179131},
  url = {https://arxiv.org/abs/2206.12227},
  note = {Source identifier: 2206.12227}
}