Login / Signup

A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms.

Klaus P. JantkeOksana Arnold
Published in: TIME (1996)
Keyphrases
  • temporal logic
  • modal logic
  • model checking
  • orders of magnitude
  • reactive systems
  • concurrent systems
  • distributed systems
  • satisfiability problem
  • linear temporal logic
  • heuristic search