Efficient decision procedure for propositional projection temporal logic.

Xinfeng Shu Nan Zhang Xiaobing Wang Liang Zhao

Published in: Theor. Comput. Sci. (2020)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
mazurkiewicz traces
propositional logic
verification method
temporal knowledge
temporally extended