Liu, Depeng; Wang, Bow-Yaw; Fu, Chen; Zhang, Lijun Model checking differentially private properties. (English) Zbl 1512.68157 Theor. Comput. Sci. 943, 153-170 (2023). MSC: 68Q60 03B44 60J20 68P27 90C40 PDFBibTeX XMLCite \textit{D. Liu} et al., Theor. Comput. Sci. 943, 153--170 (2023; Zbl 1512.68157) Full Text: DOI
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
Xu, Ming; Zhang, Lijun; Jansen, David N.; Zhu, Huibiao; Yang, Zongyuan Multiphase until formulas over Markov reward models: an algebraic approach. (English) Zbl 1332.68143 Theor. Comput. Sci. 611, 116-135 (2016). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{M. Xu} et al., Theor. Comput. Sci. 611, 116--135 (2016; Zbl 1332.68143) Full Text: DOI