Sign in
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