TY  - RPRT
TI  - Differential Zonotopes for Verifying Global Robustness of DNNs
AU  - Anagha Athavale
AU  - Samuel Teuber
AU  - Matteo Maffei
AU  - Ezio Bartocci
AU  - Dejan Nickovic
AU  - Georg Weissenbacher
PY  - 2026
UR  - https://arxiv.org/abs/2606.21282
ID  - 2606.21282
ER  -