TY  - RPRT
TI  - Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
AU  - Luca Marzari
AU  - Ferdinando Cicalese
AU  - Alessandro Farinelli
PY  - 2025
DO  - 10.1613/jair.1.20808
UR  - https://arxiv.org/abs/2507.05405
ID  - 2507.05405
ER  -