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
Finkbeiner, Bernd (ed.); Pu, Geguang (ed.); Zhang, Lijun (ed.) Preface for the special issue for ATVA 2015. (English) Zbl 1408.68015 Acta Inf. 55, No. 8, 625-626 (2018). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{B. Finkbeiner} (ed.) et al., Acta Inf. 55, No. 8, 625--626 (2018; Zbl 1408.68015) 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
Finkbeiner, Bernd (ed.); Pu, Geguang (ed.); Zhang, Lijun (ed.) Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. (English) Zbl 1325.68017 Lecture Notes in Computer Science 9364. Cham: Springer (ISBN 978-3-319-24952-0/pbk; 978-3-319-24953-7/ebook). xiii, 520 p. (2015). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{B. Finkbeiner} (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12--15, 2015. Proceedings. Cham: Springer (2015; Zbl 1325.68017) 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