TY  - RPRT
TI  - Distributionally Robust Statistical Verification with Imprecise Neural Networks
AU  - Souradeep Dutta
AU  - Michele Caprio
AU  - Vivian Lin
AU  - Matthew Cleaveland
AU  - Kuk Jin Jang
AU  - Ivan Ruchkin
AU  - Oleg Sokolsky
AU  - Insup Lee
PY  - 2025
UR  - https://arxiv.org/abs/2308.14815
ID  - 2308.14815
ER  -