Login / Signup
Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges.
Naoto Sato
Hironobu Kuruma
Yuichiroh Nakagawa
Hideto Ogawa
Published in:
IEICE Trans. Inf. Syst. (2020)
Keyphrases
</>
decision trees
probabilistic model
computational model
high level
formal verification
neural network
machine learning
artificial intelligence
training data
artificial neural networks
object oriented
machine learning algorithms
mathematical model
classification algorithm
multiple models