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