Login / Signup

LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches.

Inmaculada Perez de GuzmánCarlos Rossi
Published in: Log. J. IGPL (1995)
Keyphrases
  • temporal logic
  • model checking
  • modal logic
  • endpoints
  • computation tree logic
  • artificial intelligence
  • domain specific
  • satisfiability problem
  • temporal knowledge
  • concurrent systems
  • linear temporal logic