CTL model checking based on binary classification of machine learning.
Weijun ZhuHuanmei WuPublished in: Int. Arab J. Inf. Technol. (2022)
Keyphrases
- model checking
- binary classification
- learning problems
- machine learning
- support vector machine
- temporal logic
- computation tree logic
- multi class
- support vector
- cost sensitive
- formal specification
- temporal properties
- formal verification
- machine learning algorithms
- bounded model checking
- learning tasks
- generalization error
- multi label
- kernel methods
- learning algorithm
- symbolic model checking
- supervised learning
- machine learning methods
- model checker
- class imbalance
- alternating time temporal logic
- feature selection
- verification method
- active learning
- formal methods
- ensemble methods
- prediction accuracy
- epistemic logic
- decision trees
- transition systems
- semi supervised learning
- data mining
- model selection
- concurrent systems
- knowledge representation
- reinforcement learning
- image classification