TY  - RPRT
TI  - Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
AU  - Masako Kishida
PY  - 2025
UR  - https://arxiv.org/abs/2509.17413
ID  - 2509.17413
ER  -