@misc{Roessig2019, type = {Master Thesis}, author = {R{\"o}ssig, Ansgar}, title = {Verification of Neural Networks}, pages = {143}, year = {2019}, language = {en} }