@article{RoessigPetkovic2020, author = {Ansgar R{\"o}ssig and Milena Petkovic}, title = {Advances in Verification of ReLU Neural Networks}, journal = {Journal of Global Optimization}, doi = {10.1007/s10898-020-00949-1}, year = {2020}, }