Formal verification of input-output mappings of tree ensembles.
John TörnblomSimin Nadjm-TehraniPublished in: Sci. Comput. Program. (2020)
Keyphrases
- input output
- formal verification
- tree ensembles
- random forests
- model checking
- model checker
- internal states
- bounded model checking
- symbolic model checking
- automated verification
- noise cancellation
- data envelopment analysis
- nonlinear functions
- decision trees
- conformal prediction
- learning algorithm
- machine learning
- single phase
- ensemble methods
- fuzzy model
- benchmark datasets
- machine learning algorithms