@article{journals/corr/abs-1710-00486,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Gopinath, Divya and Katz, Guy and Pasareanu, Corina S. and Barrett, Clark},
  biburl = {https://www.bibsonomy.org/bibtex/232486a66f1a3e153b5e8698fab26f53c/dblp},
  ee = {http://arxiv.org/abs/1710.00486},
  interhash = {a05f88f307c771bb8b220b08be717168},
  intrahash = {32486a66f1a3e153b5e8698fab26f53c},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2018-08-14T14:14:22.000+0200},
  title = {DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-00486},
  volume = {abs/1710.00486},
  year = 2017
}

{"_id":"wQH5NvhtDdKQq7iuN","bibbaseid":"gopinath-katz-pasareanu-barrett-deepsafeadatadrivenapproachforcheckingadversarialrobustnessinneuralnetworks-2017","authorIDs":[],"author_short":["Gopinath, D.","Katz, G.","Pasareanu, C. S.","Barrett, C."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-08-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Gopinath"],"firstnames":["Divya"],"suffixes":[]},{"propositions":[],"lastnames":["Katz"],"firstnames":["Guy"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Barrett"],"firstnames":["Clark"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/232486a66f1a3e153b5e8698fab26f53c/dblp","ee":"http://arxiv.org/abs/1710.00486","interhash":"a05f88f307c771bb8b220b08be717168","intrahash":"32486a66f1a3e153b5e8698fab26f53c","journal":"CoRR","keywords":"dblp","timestamp":"2018-08-14T14:14:22.000+0200","title":"DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-00486","volume":"abs/1710.00486","year":"2017","bibtex":"@article{journals/corr/abs-1710-00486,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Gopinath, Divya and Katz, Guy and Pasareanu, Corina S. and Barrett, Clark},\n biburl = {https://www.bibsonomy.org/bibtex/232486a66f1a3e153b5e8698fab26f53c/dblp},\n ee = {http://arxiv.org/abs/1710.00486},\n interhash = {a05f88f307c771bb8b220b08be717168},\n intrahash = {32486a66f1a3e153b5e8698fab26f53c},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2018-08-14T14:14:22.000+0200},\n title = {DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-00486},\n volume = {abs/1710.00486},\n year = 2017\n}\n\n","author_short":["Gopinath, D.","Katz, G.","Pasareanu, C. S.","Barrett, C."],"key":"journals/corr/abs-1710-00486","id":"journals/corr/abs-1710-00486","bibbaseid":"gopinath-katz-pasareanu-barrett-deepsafeadatadrivenapproachforcheckingadversarialrobustnessinneuralnetworks-2017","role":"author","urls":{"Link":"http://arxiv.org/abs/1710.00486","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-00486"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.180Z","downloads":0,"keywords":["dblp"],"search_terms":["deepsafe","data","driven","approach","checking","adversarial","robustness","neural","networks","gopinath","katz","pasareanu","barrett"],"title":"DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks.","year":2017,"dataSources":["nk4Sfi2ddzBtdLpRN"]}