@article{distributionallyrobuststatistical,
  title = {Distributionally Robust Statistical Verification with Imprecise Neural Networks},
  author = {Souradeep Dutta and Michele Caprio and Vivian Lin and Matthew Cleaveland and Kuk Jin Jang and Ivan Ruchkin and Oleg Sokolsky and Insup Lee},
  year = {2023},
  eprint = {2308.14815},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2308.14815v4},
}