X. Huang and R. van der Meyden, “Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games”, AAAI, vol. 26, no. 1, pp. 772-778, Sep. 2021.