Login
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Ladner, Tobias; Althoff, Matthias
- Titel:
- Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification
- Zeitschriftentitel:
- Proceedings of the AAAI Conference on Artificial Intelligence
- 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