Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy.

Denis Thérien Thomas Wilke

Published in: FOCS (1996)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
linear temporal logic
mazurkiewicz traces
verification method
transition systems
artificial intelligence
orders of magnitude
reactive systems
temporal properties