DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks.

Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett

Browse the full ATVA paper archive.