L. Devos, L. Cascioli, and J. Davis, “Robustness Verification of Multi-Class Tree Ensembles”, AAAI, vol. 38, no. 19, pp. 21019–21028, Mar. 2024.