Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities.

Alexander Rabinovich

Published in: FORMATS (2008)

Keyphrases

temporal logic
model checking
modal logic
concurrent systems
mazurkiewicz traces
worst case
transition systems
linear temporal logic
computational complexity
predicate logic
verification method
search algorithm
belief revision
control flow
epistemic logic
reactive systems