Media type: E-Article Title: Formal Methods and Software Engineering: VARF: Verifying and Analyzing Robustness of Random Forests Contributor: Nie, Chaoqun; Shi, Jianqi; Huang, Yanhong imprint: Springer International Publishing, 2020 Published in: Formal Methods and Software Engineering Language: Not determined DOI: 10.1007/978-3-030-63406-3_10 ISSN: 0302-9743; 1611-3349 Origination: Footnote: