Luo, Kailun, and Yongmei Liu. “Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement”. Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 5 (June 28, 2022): 5800-5808. Accessed October 19, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/20523.