Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
An abstraction-refinement approach to verification of artificial neural networks