Rüdiger Ehlers: Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. ATVA 2017: 269-286