1. Evasion attacks against machine learning at test time;B Biggio;Joint European conference on machine learning and knowledge discovery in databases,2013
2. Formal verification of input-output mappings of tree ensembles;J T�rnblom;Science of Computer Programming,2020
3. An abstraction-refinement approach to verification of artificial neural networks;L Pulina;Computer Aided Verification, 22nd International Conference, CAV 2010,2010