Huang, X.; Su, K.; Zhang, C. Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. AAAI 2021, 26, 765-771.