@techreport{Roessig2019, author = {Ansgar R{\"o}ssig}, title = {Verification of Neural Networks}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {19-40}, language = {eng}, year = {2019} }