Zonotope Domains for Lagrangian Neural Network Verification

Open in new window