Formal Verification of a Decision-tree Ensemble Model and Detection of its Violation Ranges

Naoto SATO  Hironobu KURUMA  Yuichiroh NAKAGAWA  Hideto OGAWA  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2019/11/20
DOI: 10.1587/transinf.2019EDP7120
Full Text: PDF(1.3MB)