TY  - RPRT
TI  - Measuring Neural Net Robustness with Constraints
AU  - Osbert Bastani
AU  - Yani Ioannou
AU  - Leonidas Lampropoulos
AU  - Dimitrios Vytiniotis
AU  - Aditya Nori
AU  - Antonio Criminisi
PY  - 2017
UR  - https://arxiv.org/abs/1605.07262
ID  - 1605.07262
ER  -