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

@article{Lomuscio2017AnAT,
  title={An approach to reachability analysis for feed-forward ReLU neural networks},
  author={Alessio Lomuscio and Lalit Maganti},
  journal={CoRR},
  year={2017},
  volume={abs/1706.07351}
}
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 between establishing whether some arbitrary output can ever be outputed by a neural system and linear problems characterising a neural system of interest. We present a methodology to… CONTINUE READING

1 Figure or Table

Topics

Statistics

0204020172018
Citations per Year

Citation Velocity: 12

Averaging 12 citations per year over the last 2 years.

Learn more about how we calculate this metric in our FAQ.