TY - GEN A1 - Rössig, Ansgar T1 - Verification of Neural Networks T3 - ZIB-Report - 19-40 Y1 - 2019 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/7417 UR - https://nbn-resolving.org/urn:nbn:de:0297-zib-74174 SN - 1438-0064 ER -