%0 Journal Article %1 journals/tmlr/LeinoZMFPP22 %A Leino, Klas %A Zhang, Chi %A Mangal, Ravi %A Fredrikson, Matt %A Parno, Bryan %A Pasareanu, Corina S. %D 2022 %J Trans. Mach. Learn. Res. %K dblp %T Degradation Attacks on Certifiably Robust Neural Networks. %U http://dblp.uni-trier.de/db/journals/tmlr/tmlr2022.html#LeinoZMFPP22 %V 2022

@article{journals/tmlr/LeinoZMFPP22, added-at = {2023-05-19T00:00:00.000+0200}, author = {Leino, Klas and Zhang, Chi and Mangal, Ravi and Fredrikson, Matt and Parno, Bryan and Pasareanu, Corina S.}, biburl = {https://www.bibsonomy.org/bibtex/298702d31314dc1c4de201782efa20f5c/dblp}, ee = {https://openreview.net/forum?id=P0XO5ZE98j}, interhash = {72a70cdd66651214342e121c18b15b02}, intrahash = {98702d31314dc1c4de201782efa20f5c}, journal = {Trans. Mach. Learn. Res.}, keywords = {dblp}, timestamp = {2024-04-08T10:35:30.000+0200}, title = {Degradation Attacks on Certifiably Robust Neural Networks.}, url = {http://dblp.uni-trier.de/db/journals/tmlr/tmlr2022.html#LeinoZMFPP22}, volume = 2022, year = 2022 }