Luo, K.; Liu, Y. Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement. AAAI 2022, 36, 5800-5808.