Formal Verification of Random Forests in Safety-Critical Applications.
John TörnblomSimin Nadjm-TehraniPublished in: FTSCS (2018)
Keyphrases
- random forests
- formal verification
- safety critical
- model checking
- formal methods
- random forest
- fault tolerant
- decision trees
- agent architecture
- embedded systems
- ensemble methods
- logistic regression
- machine learning algorithms
- model checker
- symbolic model checking
- support systems
- formal specification
- decision tree ensembles
- adaptive systems
- machine learning methods
- base classifiers
- intelligent agents
- classification accuracy
- knowledge base