Login / Signup
Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges.
Naoto Sato
Hironobu Kuruma
Yuichiroh Nakagawa
Hideto Ogawa
Published in:
CoRR (2019)
Keyphrases
</>
decision trees
computational model
mathematical model
formal verification
neural network
machine learning
objective function
probability distribution
object detection