T. Ladner and M. Althoff, “Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification”, AAAI, vol. 38, no. 19, pp. 21304-21311, Mar. 2024.