Differential Zonotopes for Verifying Global Robustness of DNNs

1. Jun 2026·
Anagha Athavale
Samuel Teuber
Samuel Teuber
,
Matteo Maffei
,
Ezio Bartocci
,
Dejan Nickovic
,
Georg Weissenbacher
· 0 min read
Type
Neural Network Verification Formal Methods Equivalence Differential Verification Adversarial Robustness
Samuel Teuber
Authors
Samuel Teuber
PhD Candidate
Researching formal verification of AI-based heterogeneous systems, with applications in neural network control and algorithmic fairness.