Login / Signup
An Efficient Tableau for Linear Time Temporal Logic.
Ji Bian
Tim French
Mark 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