mediaTUM - Media and Publication Server

User: Guest

If you experience problems opening the document, please try this link.

Title:: Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes
Document type:: Konferenzbeitrag
Author(s):: Kochdumper, Niklas; Schilling, Christian; Althoff, Matthias; Bak, Stanley
Book / Congress title:: NASA Formal Methods
Year:: 2023
Pages:: 16--36
BibTeX

Occurrences:

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