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

Titel:: Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification
Dokumenttyp:: Zeitschriftenaufsatz
Autor(en):: Ladner, Tobias; Althoff, Matthias
Zeitschriftentitel:: Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)
Jahr:: 2024
Volltext / DOI:: doi:10.1609/aaai.v38i19.30125
WWW:: https://ojs.aaai.org/index.php/AAAI/article/view/30125
Verlag / Institution:: Association for the Advancement of Artificial Intelligence (AAAI)
E-ISSN:: 2374-34682159-5399
Publikationsdatum:: 24.03.2024
BibTeX