Refining the Safety-Liveness Classification of Temporal Properties According to Realizability.
Manfred BroyPublished in: Formal Methods in Outer Space (2021)
Keyphrases
- temporal properties
- support vector machine
- classification accuracy
- pattern recognition
- model checking
- feature vectors
- decision trees
- machine learning
- feature space
- neural network
- decision rules
- relational databases
- support vector
- general purpose
- computational intelligence
- logic programs
- text classification
- support vector machine svm
- class labels
- feature extraction
- possibility theory
- feature selection