TY  - RPRT
TI  - Probabilistic Verification of ReLU Neural Networks via Characteristic Functions
AU  - Joshua Pilipovsky
AU  - Vignesh Sivaramakrishnan
AU  - Meeko M. K. Oishi
AU  - Panagiotis Tsiotras
PY  - 2022
UR  - https://arxiv.org/abs/2212.01544
ID  - 2212.01544
ER  -