LTL Model Checking Based on Binary Classification of Machine Learning.
Weijun ZhuHuanmei WuMiaolei DengPublished in: IEEE Access (2019)
Keyphrases
- model checking
- binary classification
- learning problems
- machine learning
- temporal logic
- support vector machine
- multi class
- support vector
- bounded model checking
- cost sensitive
- machine learning algorithms
- learning tasks
- formal specification
- formal verification
- model checker
- computation tree logic
- kernel methods
- learning algorithm
- multi label
- prediction accuracy
- machine learning methods
- decision trees
- transition systems
- epistemic logic
- generalization error
- linear time temporal logic
- linear temporal logic
- verification method
- class imbalance
- ensemble methods
- feature selection
- supervised learning
- formal methods
- symbolic model checking
- text classification
- concurrent systems
- semi supervised learning
- artificial intelligence
- data mining
- active learning
- reinforcement learning