Situations in LTL as strings.

Published in: Inf. Comput. (2009)

Keyphrases

model checking
linear temporal logic
temporal logic
real world
bounded model checking
data sets
machine learning
hidden markov models
edit distance
string matching
real time
information systems
clustering algorithm
image sequences
bayesian networks
domain specific