关注
John Törnblom
标题
引用次数
引用次数
年份
Formal verification of input-output mappings of tree ensembles
J Törnblom, S Nadjm-Tehrani
Science of Computer Programming 194, 102450, 2020
492020
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
312019
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
282019
Scaling up memory-efficient formal verification tools for tree ensembles
J Törnblom, S Nadjm-Tehrani
arXiv preprint arXiv:2105.02595, 2021
32021
Improving Quality of Avionics Software Using Mutation Testing
J Törnblom
12014
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
系统目前无法执行此操作,请稍后再试。
文章 1–7