Benutzer: Gast  Login

Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
Koller, Lukas; Ladner, Tobias; Althoff, Matthias
Titel:
Set-Based Training for Neural Network Verification
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