mediaTUM - Media and Publication Server

User: Guest

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

Title:: Fully Automatic Neural Network Reduction for Formal Verification
Document type:: Zeitschriftenaufsatz
Author(s):: Ladner, Tobias; Althoff, Matthias
Dewey Decimal Classification:: 000 Informatik, Wissen, Systeme
Journal title:: arxiv
Year:: 2024
Fulltext / DOI:: doi:10.48550/ARXIV.2305.01932
BibTeX

Occurrences:

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

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