On the Freeze Quantifier in Constraint LTL: Decidability and Complexity.

Stéphane Demri Ranko Lazic David Nowak

Published in: TIME (2005)

Keyphrases

decision problems
computational cost
worst case
temporal logic
real time
description logics
model checking
query answering
computational complexity
complexity analysis
decision procedures