# Towards Verification of Artificial Neural Networks.

> Research article (MBMV, 2015) · cited 47× · AI/ML

**Wikidata**: [openalex:W2395707743](https://www.wikidata.org/wiki/openalex:W2395707743)  
**Source**: https://4ort.xyz/entity/towards-verification-of-artificial-neural-networks