Classification and Coverage-Based Falsification for Embedded Control Systems.
Arvind S. AdimoolamThao DangAlexandre DonzéJames KapinskiXiaoqing JinPublished in: CAV (1) (2017)
Keyphrases
- control system
- classification accuracy
- classification algorithm
- pattern recognition
- feature vectors
- classification systems
- feature extraction
- automatic classification
- object classification
- decision rules
- feature space
- text classification
- classification rules
- machine learning methods
- pattern classification
- supervised classification
- image classification
- class labels
- support vector machine svm
- support vector
- machine learning
- model selection
- real time
- benchmark datasets
- supervised learning
- svm classifier
- preprocessing
- multi agent systems
- bayesian networks
- decision trees
- cost sensitive
- feature selection
- computer vision
- data sets