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