Safety Verification of Deep Neural Networks

21 October 2016

Xiaowei Huang

M. Kwiatkowska

Sen Wang

Min Wu

AAML

Papers citing "Safety Verification of Deep Neural Networks"

2 / 2 papers shown

Title
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 42 1718 0 03 Feb 2017
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 35 5361 0 08 Jul 2016