Ranzato, F.; Zanella, M. Abstract Interpretation of Decision Tree Ensemble Classifiers. AAAI 2020, 34, 5478-5486.