Classification-Based Parameter Synthesis for Parametric Timed Automata.
Jiaying LiJun SunBo GaoÉtienne AndréPublished in: ICFEM (2017)
Keyphrases
- timed automata
- classification accuracy
- pattern recognition
- feature extraction
- feature space
- text classification
- training set
- support vector machine
- classification scheme
- classification method
- classification algorithm
- decision rules
- classification rules
- pattern classification
- feature selection
- supervised learning
- classification rate
- preprocessing
- classification process
- reachability analysis
- classification models
- distributed systems
- model checking
- cross validation
- image classification
- neural network
- feature vectors
- expert systems
- support vector
- artificial intelligence
- machine learning