Ranzato, F. and Zanella, M. (2020) “Abstract Interpretation of Decision Tree Ensemble Classifiers”, Proceedings of the AAAI Conference on Artificial Intelligence, 34(04), pp. 5478-5486. doi: 10.1609/aaai.v34i04.5998.