TY - THES A1 - Rössig, Ansgar T1 - Verification of Neural Networks KW - Neural Network Verification Y1 - 2019 ER - TY - GEN A1 - Rössig, Ansgar T1 - Verification of Neural Networks T3 - ZIB-Report - 19-40 Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-74174 SN - 1438-0064 ER -