Formal Verification of Input-Output Mappings of Tree Ensembles.
John TörnblomSimin Nadjm-TehraniPublished in: CoRR (2019)
Keyphrases
- input output
- formal verification
- tree ensembles
- random forests
- model checking
- model checker
- bounded model checking
- symbolic model checking
- automated verification
- internal states
- noise cancellation
- conformal prediction
- data envelopment analysis
- nonlinear functions
- temporal logic
- fuzzy model
- ibm zenterprise
- neural network
- fuzzy controller
- hardware and software
- ensemble methods
- support vector