Towards Robust Deep Neural Networks
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks