Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR

Open in new window