TY  - RPRT
TI  - Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation
AU  - Luca Marzari
AU  - Isabella Mastroeni
AU  - Alessandro Farinelli
PY  - 2025
UR  - https://arxiv.org/abs/2505.05235
ID  - 2505.05235
ER  -