Meng, M. H., et al.. Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective. Institute of Electrical and Electronics Engineers (IEEE), 2022, doi:10.1109/tdsc.2022.3179131.