We stand with Ukraine  

John Törnblom

Orcid: 0000-0002-4073-0417

According to our database1, John Törnblom authored at least 5 papers between 2018 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles.
[BibTeX]
[DOI]
John Törnblom
,
Emil Karlsson
,
Simin Nadjm-Tehrani
CoRR, 2023

2021
Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles.
[BibTeX]
[DOI]
John Törnblom
,
Simin Nadjm-Tehrani
CoRR, 2021

2020
Formal verification of input-output mappings of tree ensembles.
[BibTeX]
[DOI]
John Törnblom
,
Simin Nadjm-Tehrani
Sci. Comput. Program., 2020

2019
An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles.
[BibTeX]
[DOI]
John Törnblom
,
Simin Nadjm-Tehrani
Proceedings of the Computer Safety, Reliability, and Security, 2019

2018
Formal Verification of Random Forests in Safety-Critical Applications.
[BibTeX]
[DOI]
John Törnblom
,
Simin Nadjm-Tehrani
Proceedings of the Formal Techniques for Safety-Critical Systems, 2018


  Loading...