An Equivalent CTL Formulation for Condition Sequences.

Jeffrey Ashley Lawrence E. Holloway

Published in: Discret. Event Dyn. Syst. (2005)

Keyphrases

model checking
temporal logic
sequential patterns
hidden markov models
sufficient conditions
equivalence relationship
neural network
learning algorithm
search algorithm
computation tree logic
machine learning
variable length
set theoretic
probabilistic formulation