Rössig, Ansgar; Petkovic, Milena - In: Journal of Global Optimization 81 (2020) 1, pp. 109-152
We consider the problem of verifying linear properties of neural networks. Despite their success in many classification and prediction tasks, neural networks may return unexpected results for certain inputs. This is highly problematic with respect to the application of neural networks for...