TY  - RPRT
TI  - Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
AU  - Ruediger Ehlers
PY  - 2017
UR  - https://arxiv.org/abs/1705.01320
ID  - 1705.01320
ER  -