Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

3 February 2017

Guy Katz

Clark W. Barrett

D. Dill

Kyle D. Julian

Mykel Kochenderfer

AAML

Papers citing "Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks"

1 / 1 papers shown

Title
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 17 888 0 21 Oct 2016