Ladner, T., and M. Althoff. “Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 38, no. 19, Mar. 2024, pp. 21304-11, doi:10.1609/aaai.v38i19.30125.