X. Huang, K. Su, and C. Zhang, “Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall”, AAAI, vol. 26, no. 1, pp. 765–771, Sep. 2021.