[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. doi.. 
Downloads: bibURL: http://tst.tsinghuajournals.com/EN/10.26599/TST.2020.9010054