Formal Verification of Random Forests in Safety-Critical Applications. - John Törnblom; Simin Nadjm-Tehrani (FTSCS, 2018)

An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles. - John Törnblom; Simin Nadjm-Tehrani (SAFECOMP Workshops, 2019)

Formal verification of input-output mappings of tree ensembles. - John Törnblom; Simin Nadjm-Tehrani (Sci. Comput. Program., 2020)

Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles. - John Törnblom; Simin Nadjm-Tehrani (CoRR, 2021)

Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles. - John Törnblom; Emil Karlsson; Simin Nadjm-Tehrani (CoRR, 2023)