# Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter

> Research article (Formal Aspects of Computing, 2021) · cited 17× · AI/ML

**Wikidata**: [openalex:W3198519141](https://www.wikidata.org/wiki/openalex:W3198519141)  
**Source**: https://4ort.xyz/entity/verification-of-piecewise-deep-neural-networks-a-star-set-approach-with-zonotope-pre-filter