A Decision Algorithm for Full Propositional Temporal Logic.

Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli

Browse the full CAV paper archive.