Beyond Robustness: Resilience Verification of Tree-Based Classifiers.
Stefano CalzavaraLorenzo CazzaroClaudio LuccheseFederico MarcuzziSalvatore OrlandoPublished in: CoRR (2021)
Keyphrases
- training data
- decision trees
- linear classifiers
- model checking
- test set
- classification systems
- training set
- naive bayes
- machine learning methods
- training examples
- machine learning algorithms
- training samples
- formal verification
- majority voting
- fault tolerance
- supervised classification
- learning classifier systems
- learning algorithm
- verification method
- support vector
- trained classifiers
- manually labeled training data
- classification method
- decision boundary
- classification algorithm
- image classification
- feature extraction
- feature selection