1. Measuring neural net robustness with constraints;O Bastani;Advances in neural information processing systems,2016
2. Evasion attacks against machine learning at test time;B Biggio;Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2013,2013
3. Abstract interpretation based formal methods and future challenges;P Cousot;Informatics: 10 Years Back, 10 Years Ahead,2001