@misc{indiciae5e6979a1ef0f,
  title = {Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR},
  author = {Masako Kishida},
  year = {2025},
  url = {https://arxiv.org/abs/2509.17413},
  note = {Source identifier: 2509.17413}
}