no code implementations • 22 Jun 2017 • Alessio Lomuscio, Lalit Maganti
We study the reachability problem for systems implemented as feed-forward neural networks whose activation function is implemented via ReLU functions.