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; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. (English) Zbl 1518.68150 Inf. Comput. 281, Article ID 104678, 32 p. (2021). MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{Y. Li} et al., Inf. Comput. 281, Article ID 104678, 32 p. (2021; Zbl 1518.68150) Full Text: DOI arXiv
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
Zhang, Lijun; Jansen, David N. A space-efficient simulation algorithm on probabilistic automata. (English) Zbl 1345.68219 Inf. Comput. 249, 138-159 (2016). MSC: 68Q45 68Q25 68Q85 PDFBibTeX XMLCite \textit{L. Zhang} and \textit{D. N. Jansen}, Inf. Comput. 249, 138--159 (2016; Zbl 1345.68219) Full Text: DOI
Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun Efficient approximation of optimal control for continuous-time Markov games. (English) Zbl 1337.91015 Inf. Comput. 247, 106-129 (2016). MSC: 91A15 90C40 68Q87 93E20 PDFBibTeX XMLCite \textit{J. Fearnley} et al., Inf. Comput. 247, 106--129 (2016; Zbl 1337.91015) Full Text: DOI
Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun Probabilistic logical characterization. (English) Zbl 1210.68072 Inf. Comput. 209, No. 2, 154-172 (2011). MSC: 68Q85 03B70 68Q45 PDFBibTeX XMLCite \textit{H. Hermanns} et al., Inf. Comput. 209, No. 2, 154--172 (2011; Zbl 1210.68072) Full Text: DOI