Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification

Open in new window