@inproceedings{NIPS2016_980ecd05, author = {Bastani, Osbert and Ioannou, Yani and Lampropoulos, Leonidas and Vytiniotis, Dimitrios and Nori, Aditya and Criminisi, Antonio}, booktitle = {Advances in Neural Information Processing Systems}, editor = {D. Lee and M. Sugiyama and U. Luxburg and I. Guyon and R. Garnett}, pages = {}, publisher = {Curran Associates, Inc.}, title = {Measuring Neural Net Robustness with Constraints}, url = {https://proceedings.neurips.cc/paper_files/paper/2016/file/980ecd059122ce2e50136bda65c25e07-Paper.pdf}, volume = {29}, year = {2016} }