Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability.

Doron Peled Klaus Havelund

Published in: Models, Mindsets, Meta (2018)

Keyphrases

temporal properties
classification accuracy
machine learning
decision trees
support vector
pattern recognition
feature vectors
decision rules
genetic algorithm
model checking
training set
feature extraction
feature space
support vector machine
knowledge based systems