mediaTUM - Medien- und Publikationsserver

Benutzer: Gast

Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link

Titel:: Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Kochdumper, Niklas; Schilling, Christian; Althoff, Matthias; Bak, Stanley
Kongress- / Buchtitel:: NASA Formal Methods
Jahr:: 2023
Seiten:: 16--36
BibTeX

Vorkommen:

mediaTUM Gesamtbestand Hochschulbibliographie 2023 Schools und Fakultäten TUM School of Computation, Information and Technology Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)

mediaTUM Gesamtbestand Einrichtungen Schools TUM School of Computation, Information and Technology Departments Computer Engineering Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)2023