Devos, L.; Cascioli, L.; Davis, J. Robustness Verification of Multi-Class Tree Ensembles. AAAI 2024, 38, 21019-21028.