Formal verification of input-output mappings of tree ensembles J Törnblom, S Nadjm-Tehrani Science of Computer Programming 194, 102450, 2020 | 49 | 2020 |
An abstraction-refinement approach to formal verification of tree ensembles J Törnblom, S Nadjm-Tehrani Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE …, 2019 | 31 | 2019 |
Formal verification of random forests in safety-critical applications J Törnblom, S Nadjm-Tehrani Formal Techniques for Safety-Critical Systems: 6th International Workshop …, 2019 | 28 | 2019 |
Scaling up memory-efficient formal verification tools for tree ensembles J Törnblom, S Nadjm-Tehrani arXiv preprint arXiv:2105.02595, 2021 | 3 | 2021 |
Improving Quality of Avionics Software Using Mutation Testing J Törnblom | 1 | 2014 |
Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles J Törnblom, E Karlsson, S Nadjm-Tehrani arXiv preprint arXiv:2303.09271, 2023 | | 2023 |
Formal Verification of Tree Ensembles in Safety-Critical Applications J Törnblom Linköping University Electronic Press, 2020 | | 2020 |