Parameterized Hardness of Zonotope Containment and Neural Network Verification