C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Verification of Tree Ensembles against Real-World Composite Geometric Perturbations.
Valency Oscar Colaco
Simin Nadjm-Tehrani
Published in:
SafeAI@AAAI (2023)
Keyphrases
</>
formal verification
tree ensembles
real world
model checking
automated verification
model checker
random forests
data sets
symbolic model checking
bounded model checking
data mining
training data
multi class