Login / Signup

An Efficient Tableau for Linear Time Temporal Logic.

Ji BianTim FrenchMark Reynolds
Published in: Australasian Conference on Artificial Intelligence (2013)
Keyphrases
  • linear time temporal logic
  • sequent calculus
  • artificial intelligence
  • high level
  • temporal logic
  • linear temporal logic