Luo, K., & Liu, Y. (2022). Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5800-5808. https://doi.org/10.1609/aaai.v36i5.20523