Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
Deep Learning in Neural Networks: An Overview