Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification

Title:: Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification
Document type:: Zeitschriftenaufsatz
Author(s):: Ladner, Tobias; Althoff, Matthias
Journal title:: Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)
Year:: 2024
Fulltext / DOI:: doi:10.1609/aaai.v38i19.30125
WWW:: https://ojs.aaai.org/index.php/AAAI/article/view/30125
Publisher:: Association for the Advancement of Artificial Intelligence (AAAI)
E-ISSN:: 2374-34682159-5399
Date of publication:: 24.03.2024
BibTeX