Neural Network Robustness Verification using Zonotope Bundles as presented in Althoff, Matthias, and Bruce H. Krogh. "Zonotope bundles for the efficient computation of reachable sets." 2011 50th IEEE conference on decision and control and European control conference. IEEE, 2011.