%0 Journal Article %1 journals/corr/abs-1804-05805 %A Ruan, Wenjie %A Wu, Min %A Sun, Youcheng %A Huang, Xiaowei %A Kroening, Daniel %A Kwiatkowska, Marta %D 2018 %J CoRR %K dblp %T Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. %U http://dblp.uni-trier.de/db/journals/corr/corr1804.html#abs-1804-05805 %V abs/1804.05805

@article{journals/corr/abs-1804-05805, added-at = {2021-12-22T00:00:00.000+0100}, author = {Ruan, Wenjie and Wu, Min and Sun, Youcheng and Huang, Xiaowei and Kroening, Daniel and Kwiatkowska, Marta}, biburl = {https://www.bibsonomy.org/bibtex/24266ff275d883d98eebe549c758b7858/dblp}, ee = {http://arxiv.org/abs/1804.05805}, interhash = {ac2aa32afc3e708399cfdf740e9fc7cf}, intrahash = {4266ff275d883d98eebe549c758b7858}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:42:47.000+0200}, title = {Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1804.html#abs-1804-05805}, volume = {abs/1804.05805}, year = 2018 }