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), pp. 6179-6186. doi: 10.1609/aaai.v33i01.33016179.