@inproceedings{d5cab6a6d3cb49ca9bfd85bfc90907af,
title = "Automatic synthesis of generalized winning strategies of impartial combinatorial games (CCF B)",
abstract = "One of the challenging problems of impartial combinatorial games (ICGs) is to construct generalized winning strategies for possibly infinitely many states. In this paper, we investigate synthesizing generalized winning strategies for ICGs. To this end, we first propose a logical framework to formalize ICGs based on linear integer arithmetic. We then propose an approach to generating the winning strategy for ICGs. Experimental results on several games demonstrate that our approach is effective in most of these games.",
keywords = "Impartial combinatorial games, Strategy synthesis",
author = "Kaisheng Wu and Yong Qiao and Kaidong Chen and Fei Rong and Liangda Fang and Lai, {Zhao Rong} and Qian Dong and Liping Xiong",
note = "Funding Information: ∗Liangda Fang is the corresponding author. This work was supported by the Natural Science Foundation of China (Nos. 61603152, 61602210, 61703182, 61772232, 61773179, 61877029 and U1811263). Publisher Copyright: {\textcopyright} 2020 International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). All rights reserved.; 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020 ; Conference date: 19-05-2020",
year = "2020",
language = "English",
series = "Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS",
publisher = "International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)",
pages = "2041--2043",
editor = "Bo An and {El Fallah Seghrouchni}, Amal and Gita Sukthankar",
booktitle = "Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020",
}