%0 Conference Paper %1 conf/iclr/FromherzLFPP21 %A Fromherz, Aymeric %A Leino, Klas %A Fredrikson, Matt %A Parno, Bryan %A Pasareanu, Corina S. %B ICLR %D 2021 %I OpenReview.net %K dblp %T Fast Geometric Projections for Local Robustness Certification. %U http://dblp.uni-trier.de/db/conf/iclr/iclr2021.html#FromherzLFPP21

@inproceedings{conf/iclr/FromherzLFPP21, added-at = {2021-06-23T00:00:00.000+0200}, author = {Fromherz, Aymeric and Leino, Klas and Fredrikson, Matt and Parno, Bryan and Pasareanu, Corina S.}, biburl = {https://www.bibsonomy.org/bibtex/2205359c823e9bff5958d384c167b5da5/dblp}, booktitle = {ICLR}, crossref = {conf/iclr/2021}, ee = {https://openreview.net/forum?id=zWy1uxjDdZJ}, interhash = {035acdec9183794d2c1802e46738b182}, intrahash = {205359c823e9bff5958d384c167b5da5}, keywords = {dblp}, publisher = {OpenReview.net}, timestamp = {2024-04-10T01:22:14.000+0200}, title = {Fast Geometric Projections for Local Robustness Certification.}, url = {http://dblp.uni-trier.de/db/conf/iclr/iclr2021.html#FromherzLFPP21}, year = 2021 }