A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems.
Jose Luis de la VaraThomas BauerBernhard FischerMustafa KaracaHenrique MadeiraMartin MatschnigSilvia MazziniGiann Spilere NandiFabio PatroneDavid PereiraJosé ProençaRupert SchlickStefano TonettaUgur YayanBehrooz SangchooliePublished in: QUATIC (2021)
Keyphrases
- classification systems
- machine learning methods
- classification method
- benchmark datasets
- benchmark data sets
- cross validation
- classification models
- significant improvement
- privacy preserving
- automated classification
- robust classification
- data sets
- image classification
- computational cost
- preprocessing
- pattern recognition
- decision trees
- machine learning algorithms
- distributed systems
- support vector
- formal methods
- privacy preservation
- safety critical
- feature extraction