Beyond robustness: Resilience verification of tree-based classifiers.
Stefano CalzavaraLorenzo CazzaroClaudio LuccheseFederico MarcuzziSalvatore OrlandoPublished in: Comput. Secur. (2022)
Keyphrases
- training data
- decision trees
- support vector
- model checking
- feature selection
- supervised classification
- test set
- svm classifier
- training set
- multiple classifiers
- majority voting
- ensemble learning
- computational efficiency
- classification algorithm
- training examples
- naive bayes
- training samples
- linear classifiers
- classification systems
- formal verification
- class labels
- decision boundary
- ensemble classifier
- feature set
- classifier combination
- active learning