Quantified CTL: Expressiveness and Complexity.

François Laroussinie Nicolas Markey

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

temporal logic
model checking
worst case
expressive power
data sets
machine learning
computational cost
temporal properties
computation tree logic