Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa. Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges. IEICE Transactions, 103-D(2):363-378, 2020. [doi]
@article{SatoKNO20,
title = {Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges},
author = {Naoto Sato and Hironobu Kuruma and Yuichiroh Nakagawa and Hideto Ogawa},
year = {2020},
url = {http://search.ieice.org/bin/summary.php?id=e103-d_2_363},
researchr = {https://researchr.org/publication/SatoKNO20},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {103-D},
number = {2},
pages = {363-378},
}