Systematic Classification of Attackers via Bounded Model Checking.
Eric Rothstein MorrisSun JunSudipta ChattopadhyayPublished in: CoRR (2019)
Keyphrases
- bounded model checking
- classification accuracy
- pattern recognition
- classification scheme
- decision trees
- classification models
- pattern classification
- training set
- neural network
- support vector
- model checking
- image classification
- class labels
- support vector machine svm
- machine learning
- classification algorithm
- feature extraction
- training samples
- model selection
- machine learning algorithms
- text classification
- multi class
- classification method
- support vector machine
- feature space
- automatic classification
- knowledge base
- linear temporal logic
- feature selection