Robustness Verification of Decision Tree Ensembles.

Francesco Ranzato Marco Zanella

Published in: OVERLAY@AI*IA (2019)

Keyphrases

decision tree ensembles
random forests
model checking
image processing
decision trees
formal verification
semi supervised