Song, F.; Zhang, Y.; Chen, T.; Tang, Y.; Xu, Z. Probabilistic Alternating-Time <em>µ</Em>-Calculus. AAAI 2019, 33, 6179-6186.