Song, F., Zhang, Y., Chen, T., Tang, Y. and Xu, Z. 2019. Probabilistic Alternating-Time <em>µ</em>-Calculus. Proceedings of the AAAI Conference on Artificial Intelligence. 33, 01 (Jul. 2019), 6179-6186. DOI:https://doi.org/10.1609/aaai.v33i01.33016179.