Kailun Luo, Yongmei Liu 0001. Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement. In Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022. pages 5800-5808, AAAI Press, 2022. [doi]
@inproceedings{Luo022-0, title = {Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement}, author = {Kailun Luo and Yongmei Liu 0001}, year = {2022}, url = {https://ojs.aaai.org/index.php/AAAI/article/view/20523}, researchr = {https://researchr.org/publication/Luo022-0}, cites = {0}, citedby = {0}, pages = {5800-5808}, booktitle = {Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022}, publisher = {AAAI Press}, isbn = {978-1-57735-876-3}, }