A Tableau Method for Interval Temporal Logic with Projection.

Howard Bowman Simon J. Thompson

Published in: TABLEAUX (1998)

Keyphrases

temporal logic
model checking
verification method
computational complexity
dynamic programming
markov chain
orders of magnitude
temporal resolution