A Decision Algorithm for Full Propositional Temporal Logic.

Yonit Kesten Zohar Manna Hugh McGuire Amir Pnueli

Published in: CAV (1993)

Keyphrases

temporal logic
dynamic programming
computational complexity
optimal solution
np hard
search space
model checking
satisfiability problem
orders of magnitude
reactive systems