TY  - RPRT
TI  - Fast Geometric Projections for Local Robustness Certification
AU  - Aymeric Fromherz
AU  - Klas Leino
AU  - Matt Fredrikson
AU  - Bryan Parno
AU  - Corina Păsăreanu
PY  - 2021
UR  - https://arxiv.org/abs/2002.04742
ID  - 2002.04742
ER  -