%0 Conference Paper %1 journals/corr/abs-1709-02802 %A Katz, Guy %A Barrett, Clark W. %A Dill, David L. %A Julian, Kyle %A Kochenderfer, Mykel J. %B FVAV@iFM %D 2017 %E Bulwahn, Lukas %E Kamali, Maryam %E Linker, Sven %K dblp %P 19-26 %T Towards Proving the Adversarial Robustness of Deep Neural Networks. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs257.html#abs-1709-02802 %V 257

@inproceedings{journals/corr/abs-1709-02802, added-at = {2019-09-25T00:00:00.000+0200}, author = {Katz, Guy and Barrett, Clark W. and Dill, David L. and Julian, Kyle and Kochenderfer, Mykel J.}, biburl = {https://www.bibsonomy.org/bibtex/274019566df2085d2c0228f51d1e15bec/dblp}, booktitle = {FVAV@iFM}, crossref = {journals/corr/abs-1709-02126}, editor = {Bulwahn, Lukas and Kamali, Maryam and Linker, Sven}, ee = {http://arxiv.org/abs/1709.02802}, interhash = {f0456c5748294a88768546965d813d3b}, intrahash = {74019566df2085d2c0228f51d1e15bec}, keywords = {dblp}, pages = {19-26}, series = {EPTCS}, timestamp = {2019-09-26T14:17:37.000+0200}, title = {Towards Proving the Adversarial Robustness of Deep Neural Networks.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs257.html#abs-1709-02802}, volume = 257, year = 2017 }