Advances in verification of ReLU neural networks. - Ansgar Rössig; Milena Petkovic 002 (J. Glob. Optim., 2021)