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