Devos, L., Cascioli, L., & Davis, J. (2024). Robustness Verification of Multi-Class Tree Ensembles. Proceedings of the AAAI Conference on Artificial Intelligence, 38(19), 21019–21028. https://doi.org/10.1609/aaai.v38i19.30093