# Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective

> Research article (IEEE Transactions on Dependable and Secure Computing, 2022) · cited 49× · AI/ML

**Wikidata**: [openalex:W4286609345](https://www.wikidata.org/wiki/openalex:W4286609345)  
**Source**: https://4ort.xyz/entity/adversarial-robustness-of-deep-neural-networks-a-survey-from-a-formal-verification-perspective