Timer formulas and decidable metric temporal logic.

Yoram Hirshfeld Alexander Moshe Rabinovich

Published in: Inf. Comput. (2005)

Keyphrases

metric temporal logic
linear time temporal logic
action theories
universal quantification
first order logic
polynomial hierarchy
transitive closure
mathematical formulas
case study
np complete
real numbers
sequent calculus