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