Publikationer
John Törnblom
(2020)
Formal Verification of Tree Ensembles in Safety-Critical Applications
John Törnblom, Simin Nadjm-Tehrani
(2020)
Formal Verification of Input-Output Mappings of Tree Ensembles
Science of Computer Programming, Vol. 194
Vidare till DOI
John Törnblom, Simin Nadjm-Tehrani
(2019)
An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles
Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, s. 301-313
Vidare till DOI
John Törnblom, Simin Nadjm-Tehrani
(2019)
Formal Verification of Random Forests in Safety-Critical Applications
Formal Techniques for Safety-Critical Systems, s. 55-71
Vidare till DOI