计算机辅助综合：一种博弈论方法
Computer aided synthesis: a game theoretic approach
摘要：
在这邀请的贡献，我们提出了一个全面的介绍博弈论应用于计算机辅助合成。在此背景下，我们给出了两人零和博弈以及多人非零和博弈的一些经典结果。单玩家游戏的简单情况与无限词的自动机理论密切相关。在本文中，我们一直专注于解决所研究问题的一般方法，并提供了几个说明性的例子以及证明的直观性。
英文摘要：
In this invited contribution, we propose a comprehensive introduction to game theory applied in computer aided synthesis. In this context, we give some classical results on two-player zero-sum games and then on multi-player non zero-sum games. The simple case of one-player games is strongly related to automata theory on infinite words. All along the article, we focus on general approaches to solve the studied problems, and we provide several illustrative examples as well as intuitions on the proofs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
