An approach to reachability analysis for feed-forward ReLU neural networks

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. We draw a correspondence betw…