Login
- Titel:
Set-Based Training for Neural Network Verification
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Koller, Lukas; Ladner, Tobias; Althoff, Matthias
- Dewey Dezimalklassifikation:
- 000 Informatik, Wissen, Systeme
- Zeitschriftentitel:
- arxiv
- Jahr:
- 2024
- Monat:
- Jan
- Volltext / DOI:
- doi:10.48550/ARXIV.2401.14961
- Verlag / Institution:
- arXiv
- Publikationsdatum:
- 26.01.2024
BibTeX