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