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, Yi; Li, Xie; Li, Yong; Sun, Xuechao; Turrini, Andrea; Zhang, Lijun Synthesizing ranking functions for loop programs via SVM. (English) Zbl 07601536 Theor. Comput. Sci. 935, 1-20 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. Li} et al., Theor. Comput. Sci. 935, 1--20 (2022; Zbl 07601536) Full Text: DOI
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; Turrini, Andrea; Sun, Xuechao; Zhang, Lijun Proving non-inclusion of Büchi automata based on Monte Carlo sampling. (English) Zbl 1517.68205 Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 467-483 (2020). MSC: 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 12302, 467--483 (2020; Zbl 1517.68205) Full Text: DOI arXiv
Li, Yong; Turrini, Andrea; Zhang, Lijun; Schewe, Sven Learning to complement Büchi automata. (English) Zbl 1446.68082 Dillig, Isil (ed.) et al., Verification, model checking, and abstract interpretation. 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7–9, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10747, 313-335 (2018). MSC: 68Q45 68Q32 PDFBibTeX XMLCite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 10747, 313--335 (2018; Zbl 1446.68082) Full Text: DOI
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun The quest for minimal quotients for probabilistic and Markov automata. (English) Zbl 1400.68132 Inf. Comput. 262, Part 1, 162-186 (2018). MSC: 68Q85 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Inf. Comput. 262, Part 1, 162--186 (2018; Zbl 1400.68132) Full Text: DOI
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. (English) Zbl 1484.68141 Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10145, 266-287 (2017). MSC: 68Q85 91A43 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Lect. Notes Comput. Sci. 10145, 266--287 (2017; Zbl 1484.68141) Full Text: DOI arXiv
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun A simple algorithm for solving qualitative probabilistic parity games. (English) Zbl 1411.68068 Chaudhuri, Swarat (ed.) et al., Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17–23, 2016. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 9780, 291-311 (2016). MSC: 68Q60 68W40 91A43 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Lect. Notes Comput. Sci. 9780, 291--311 (2016; Zbl 1411.68068) Full Text: DOI
Li, Yong; Liu, Wanwei; Turrini, Andrea; Hahn, Ernst Moritz; Zhang, Lijun An efficient synthesis algorithm for parametric Markov chains against linear time properties. (English) Zbl 1393.68107 Fränzle, Martin (ed.) et al., Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47676-6/pbk; 978-3-319-47677-3/ebook). Lecture Notes in Computer Science 9984, 280-296 (2016). MSC: 68Q60 68Q45 68Q87 PDFBibTeX XMLCite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 9984, 280--296 (2016; Zbl 1393.68107) Full Text: DOI arXiv
Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun Lazy probabilistic model checking without determinisation. (English) Zbl 1374.68290 Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 354-367 (2015). MSC: 68Q60 68Q45 68Q87 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., LIPIcs -- Leibniz Int. Proc. Inform. 42, 354--367 (2015; Zbl 1374.68290) Full Text: DOI arXiv
Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun Deciding bisimilarities on distributions. (English) Zbl 1398.68364 Joshi, Kaustubh (ed.) et al., Quantitative evaluation of systems. 10th international conference, QEST 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40195-4/pbk). Lecture Notes in Computer Science 8054, 72-88 (2013). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 8054, 72--88 (2013; Zbl 1398.68364) Full Text: DOI
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun The quest for minimal quotients for probabilistic automata. (English) Zbl 1381.68115 Piterman, Nir (ed.) et al., Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36741-0/pbk). Lecture Notes in Computer Science 7795, 16-31 (2013). MSC: 68Q45 68Q85 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 7795, 16--31 (2013; Zbl 1381.68115) Full Text: DOI