Overview Statistic: PDF-Downloads (blue) and Frontdoor-Views (gray)
Schließen

Verification of Neural Networks

Please always quote using this URN: urn:nbn:de:0297-zib-74174

    Download full text files

    Export metadata

    Metadaten
    Author:Ansgar Rössig
    Document Type:ZIB-Report
    CCS-Classification:G. Mathematics of Computing
    Date of first Publication:2019/08/01
    Series (Serial Number):ZIB-Report (19-40)
    ISSN:1438-0064

    OPUS4 Logo

    Accept ✔
    Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.