Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
An abstraction-refinement approach to verification of artificial neural networks