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

Masako Kishida

Ensuring the safety of neural networks under input uncertainty is a fundamental challenge in safety-critical applications. This paper builds on and expands Fazlyab's quadratic-cons…