[1]
D. Zhang and M. Thielscher, “A Logic for Reasoning About Game Strategies”, AAAI, vol. 29, no. 1, Feb. 2015.