Login / Signup
Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy.
Denis Thérien
Thomas Wilke
Published in:
SIAM J. Comput. (2001)
Keyphrases
</>
temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
linear temporal logic
model checker
dynamic constraints
video sequences
spatial information
belief revision