A Correct Form of the Satisfiability-Graph Based Decision Algorithm for Linear Propositional Temporal Logic.

Published in: ISMIS (1988)

Keyphrases

temporal logic
computational complexity
np hard
model checking
verification method
satisfiability problem
propositional logic
automata theoretic
optimal solution
search space