Fu, Jianling; Huang, Cheng-Chao; Li, Yong; Mei, Jingyi; Xu, Ming; Zhang, Lijun Quantitative controller synthesis for consumption Markov decision processes. (English) Zbl 07647065 Inf. Process. Lett. 180, Article ID 106342, 10 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Fu} et al., Inf. Process. Lett. 180, Article ID 106342, 10 p. (2023; Zbl 07647065) Full Text: DOI
Feng, Yuan; Zhang, Lijun A tighter bound for the self-stabilization time in Herman’s algorithm. (English) Zbl 1291.68428 Inf. Process. Lett. 113, No. 13, 486-488 (2013). MSC: 68W15 68M14 PDFBibTeX XMLCite \textit{Y. Feng} and \textit{L. Zhang}, Inf. Process. Lett. 113, No. 13, 486--488 (2013; Zbl 1291.68428) Full Text: DOI
Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun Model checking conditional CSL for continuous-time Markov chains. (English) Zbl 1259.68125 Inf. Process. Lett. 113, No. 1-2, 44-50 (2013). MSC: 68Q60 68Q87 60J27 03B48 PDFBibTeX XMLCite \textit{Y. Gao} et al., Inf. Process. Lett. 113, No. 1--2, 44--50 (2013; Zbl 1259.68125) Full Text: DOI Link