Login
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Ladner, Tobias; Althoff, Matthias
- Title:
- Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification
- Journal title:
- Proceedings of the AAAI Conference on Artificial Intelligence
- 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