@article{DBLP:journals/corr/abs-2606-21282,
  author       = {Anagha Athavale and
                  Samuel Teuber and
                  Matteo Maffei and
                  Ezio Bartocci and
                  Dejan Nickovic and
                  Georg Weissenbacher},
  title        = {Differential Zonotopes for Verifying Global Robustness of DNNs},
  journal      = {CoRR},
  volume       = {abs/2606.21282},
  year         = {2026},
  url          = {https://doi.org/10.48550/arXiv.2606.21282},
  doi          = {10.48550/ARXIV.2606.21282},
  eprinttype   = {arXiv},
  eprint       = {2606.21282},
  timestamp    = {Wed, 08 Jul 2026 21:21:07 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2606-21282.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}