Login / Signup
John Törnblom
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 6
Top Topics
Tree Ensembles
Formal Verification
Random Forests
Model Checker
Top Venues
CoRR
SAFECOMP Workshops
FTSCS
Sci. Comput. Program.
</>
Publications
</>
John Törnblom
,
Emil Karlsson
,
Simin Nadjm-Tehrani
Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles.
CoRR
(2023)
John Törnblom
,
Simin Nadjm-Tehrani
Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles.
CoRR
(2021)
John Törnblom
,
Simin Nadjm-Tehrani
Formal verification of input-output mappings of tree ensembles.
Sci. Comput. Program.
194 (2020)
John Törnblom
,
Simin Nadjm-Tehrani
An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles.
SAFECOMP Workshops
(2019)
John Törnblom
,
Simin Nadjm-Tehrani
Formal Verification of Input-Output Mappings of Tree Ensembles.
CoRR
(2019)
John Törnblom
,
Simin Nadjm-Tehrani
Formal Verification of Random Forests in Safety-Critical Applications.
FTSCS
(2018)