Huang, X., Su, K. and Zhang, C. (2021) “Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall”, Proceedings of the AAAI Conference on Artificial Intelligence, 26(1), pp. 765-771. doi: 10.1609/aaai.v26i1.8214.