BibTeX record journals/corr/abs-1709-02802

• > Home > journals/corr/abs-1709-02802

@inproceedings{DBLP:journals/corr/abs-1709-02802,
  author       = {Guy Katz and
                  Clark W. Barrett and
                  David L. Dill and
                  Kyle Julian and
                  Mykel J. Kochenderfer},
  editor       = {Lukas Bulwahn and
                  Maryam Kamali and
                  Sven Linker},
  title        = {Towards Proving the Adversarial Robustness of Deep Neural Networks},
  booktitle    = {Proceedings First Workshop on Formal Verification of Autonomous Vehicles,
                  FVAV@iFM 2017, Turin, Italy, 19th September 2017},
  series       = {{EPTCS}},
  volume       = {257},
  pages        = {19--26},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.257.3},
  doi          = {10.4204/EPTCS.257.3},
  timestamp    = {Wed, 25 Sep 2019 17:52:35 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-02802.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}