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