# A game-based approximate verification of deep neural networks with provable guarantees

> Research article (Theoretical Computer Science, 2019) · cited 115× · AI/ML

**Wikidata**: [openalex:W2869036160](https://www.wikidata.org/wiki/openalex:W2869036160)  
**Source**: https://4ort.xyz/entity/a-game-based-approximate-verification-of-deep-neural-networks-with-provable-guarantees