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