F. Song, Y. Zhang, T. Chen, Y. Tang, and Z. Xu, “Probabilistic Alternating-Time <em>µ</em>-Calculus”, AAAI, vol. 33, no. 01, pp. 6179-6186, Jul. 2019.