K. Luo and Y. Liu, “Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement”, AAAI, vol. 36, no. 5, pp. 5800-5808, Jun. 2022.