Feng, Weizhi; Li, Yong; Turrini, Andrea; Vardi, Moshe Y.; Zhang, Lijun On the power of finite ambiguity in Büchi complementation. (English) Zbl 07687219 Inf. Comput. 292, Article ID 105032, 27 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{W. Feng} et al., Inf. Comput. 292, Article ID 105032, 27 p. (2023; Zbl 07687219) Full Text: DOI arXiv
Li, Yong; Turrini, Andrea; Feng, Weizhi; Vardi, Moshe Y.; Zhang, Lijun Divide-and-conquer determinization of Büchi automata based on SCC decomposition. (English) Zbl 1514.68108 Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 152-173 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 13372, 152--173 (2022; Zbl 1514.68108) Full Text: DOI arXiv
Li, Yong; Tsay, Yih-Kuen; Turrini, Andrea; Vardi, Moshe Y.; Zhang, Lijun Congruence relations for Büchi automata. (English) Zbl 1521.68074 Huisman, Marieke (ed.) et al., Formal methods. 24th international symposium, FM 2021, virtual event, November 20–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13047, 465-482 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 13047, 465--482 (2021; Zbl 1521.68074) Full Text: DOI arXiv
Li, Yong; Vardi, Moshe Y.; Zhang, Lijun On the power of unambiguity in Büchi complementation. (English) Zbl 07455748 Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 182-198 (2020). MSC: 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{Y. Li} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 182--198 (2020; Zbl 07455748) Full Text: arXiv Link
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