TY  - RPRT
TI  - An approach to reachability analysis for feed-forward ReLU neural networks
AU  - Alessio Lomuscio
AU  - Lalit Maganti
PY  - 2017
UR  - https://arxiv.org/abs/1706.07351
ID  - 1706.07351
ER  -