Article,
Fast Geometric Projections for Local Robustness Certification.
A. Fromherz, K. Leino, M. Fredrikson, B. Parno, and C. Pasareanu.CoRR, (2020)
Meta data
- BibTeX key
- journals/corr/abs-2002-04742
- entry type
- article
- year
- 2020
- journal
- CoRR
- volume
- abs/2002.04742
- ee
- https://arxiv.org/abs/2002.04742
- url
- http://dblp.uni-trier.de/db/journals/corr/corr2002.html#abs-2002-04742
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/abs-2002-04742
%A Fromherz, Aymeric
%A Leino, Klas
%A Fredrikson, Matt
%A Parno, Bryan
%A Pasareanu, Corina S.
%D 2020
%J CoRR
%K dblp
%T Fast Geometric Projections for Local Robustness Certification.
%U http://dblp.uni-trier.de/db/journals/corr/corr2002.html#abs-2002-04742
%V abs/2002.04742
@article{journals/corr/abs-2002-04742,
added-at = {2020-02-14T00:00:00.000+0100},
author = {Fromherz, Aymeric and Leino, Klas and Fredrikson, Matt and Parno, Bryan and Pasareanu, Corina S.},
biburl = {https://www.bibsonomy.org/bibtex/289e6f05ec25c1ce2aec2d3bf4a98729c/dblp},
ee = {https://arxiv.org/abs/2002.04742},
interhash = {58a44a768e8582f8ce282684a6534bda},
intrahash = {89e6f05ec25c1ce2aec2d3bf4a98729c},
journal = {CoRR},
keywords = {dblp},
timestamp = {2020-02-18T11:47:14.000+0100},
title = {Fast Geometric Projections for Local Robustness Certification.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2002.html#abs-2002-04742},
volume = {abs/2002.04742},
year = 2020
}