@misc{indiciae40b24a0b5165,
  title = {Differential Zonotopes for Verifying Global Robustness of DNNs},
  author = {Anagha Athavale and Samuel Teuber and Matteo Maffei and Ezio Bartocci and Dejan Nickovic and Georg Weissenbacher},
  year = {2026},
  url = {https://arxiv.org/abs/2606.21282},
  note = {Source identifier: 2606.21282}
}