Li, Jianwen; Zhu, Shufang; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y. SAT-based explicit LTL reasoning and its application to satisfiability checking. (English) Zbl 1425.68259 Form. Methods Syst. Des. 54, No. 2, 164-190 (2019). MSC: 68Q60 03B44 68T20 PDFBibTeX XMLCite \textit{J. Li} et al., Form. Methods Syst. Des. 54, No. 2, 164--190 (2019; Zbl 1425.68259) Full Text: DOI
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng Accelerating LTL satisfiability checking by SAT solvers. (English) Zbl 1410.68235 J. Log. Comput. 28, No. 6, 1011-1030 (2018). MSC: 68Q60 03B44 68T20 PDFBibTeX XMLCite \textit{J. Li} et al., J. Log. Comput. 28, No. 6, 1011--1030 (2018; Zbl 1410.68235) Full Text: DOI
Li, Jianwen; Zhang, Lijun; Zhu, Shufang; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng An explicit transition system construction approach to LTL satisfiability checking. (English) Zbl 1382.68142 Formal Asp. Comput. 30, No. 2, 193-217 (2018). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. Li} et al., Formal Asp. Comput. 30, No. 2, 193--217 (2018; Zbl 1382.68142) Full Text: DOI
Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng \(\mathrm{LTL}_{f}\) satisfiability checking. (English) Zbl 1366.68177 Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 513-518 (2014). MSC: 68Q60 68Q25 PDFBibTeX XMLCite \textit{J. Li} et al., Front. Artif. Intell. Appl. 263, 513--518 (2014; Zbl 1366.68177) Full Text: arXiv Link
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim On the relationship between LTL normal forms and Büchi automata. (English) Zbl 1390.68435 Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 256-270 (2013). MSC: 68Q60 03B44 03D05 PDFBibTeX XMLCite \textit{J. Li} et al., Lect. Notes Comput. Sci. 8051, 256--270 (2013; Zbl 1390.68435) Full Text: DOI arXiv