Ladner, T.; Althoff, M. Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification. AAAI 2024, 38, 21304-21311.