LTL Satisfiability Checking Revisited

Jianwen Li, Lijun Zhang 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He. LTL Satisfiability Checking Revisited. In 2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013. pages 91-98, IEEE, 2013. [doi]

Abstract

Abstract is missing.