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