Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Katz, Guy, Barrett, Clark, Dill, David L. · Lecture Notes in Computer Science · 2017