Login / Signup

No Future without (a hint of) Past: A Finite Basis for 'Almost Future' Temporal Logic.

Dorit PardoAlexander Moshe Rabinovich
Published in: Inf. Comput. (2016)
Keyphrases
  • temporal logic
  • model checking
  • video sequences
  • domain specific
  • dynamic systems
  • temporal knowledge
  • linear temporal logic