Huang, Xiaowei, Kaile Su, and Chenyi Zhang. 2021. “Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall”. Proceedings of the AAAI Conference on Artificial Intelligence 26 (1):765-71. https://doi.org/10.1609/aaai.v26i1.8214.