Add Osbert's paper

references.bib

@@ -1521,3 +1521,18 @@ @INPROCEEDINGS{Shankar2016
   PAGES = {2212--2220},
   DOI = {10.1109/CVPR.2016.243}
 }
+
+@INPROCEEDINGS{osbert2016measuring,
+  TITLE = {Measuring Neural Net Robustness with Constraints},
+  AUTHOR = {Bastani, Osbert and Ioannou, Yani and Lampropoulos, Leonidas and Vytiniotis, Dimitrios and Nori, Aditya and Criminisi, Antonio},
+  BOOKTITLE = {Proceedings of the 28th International Conference on Neural Information Processing Systems (NIPS)},
+  VENUE = {Barcelona, Spain},
+  EVENTDATE = {2016-12-05/2016-10-12},
+  BOOKTITLE={Advances in Neural Information Processing Systems},
+  pages = {2613--2621},
+  YEAR={2016},
+  EPRINT = {1605.07262},
+  EPRINTTYPE = {ar{X}iv},
+  ARXIVID = {1605.07262},
+  PUBLISHER = {Curran Associates, Inc.},
+}