Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.

Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer

Browse the full CAV paper archive.