LTL Satisfiability Checking Revisited.

Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He

Browse the full TIME paper archive.