Formal Verification of Tree Ensembles in Safety-Critical Applications. - Törnblom, John. (Linköping Studies in Science and Technology. Licentiate Thesis Series, 2020)