An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles.

John Törnblom Simin Nadjm-Tehrani

Published in: SAFECOMP Workshops (2019)

Keyphrases

formal verification
tree ensembles
bounded model checking
random forests
model checking
automated verification
model checker
symbolic model checking
program slicing
random forest
decision trees
formal specification
temporal logic