Login / Signup

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

Denis ThérienThomas 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