Publication

[LiuXJTZ21] An Axiom System of Probabilistic Mu-Calculus Liu, W.; Xu, J.; Jansen, D. N.; Turrini, A. and Zhang, L. In Tsinghua Science and Technology, 27: 372-385, 2021.
Downloads: bib