Petri games are a multi-player game model for the synthesis problem in distributed systems, i.e., the automatic generation of local controllers. The model represents causal memory of the players, which are tokens on a Petri net and divided into two teams: the controllable system and the uncontrollable environment. For one environment player and a bounded number of system players, the problem of solving Petri games can be reduced to that of solving Büchi games.
High-level Petri games are a concise representation of ordinary Petri games. Symmetries, derived from a high-level representation, can be exploited to significantly reduce the state space in the corresponding Büchi game. We present a new construction for solving high-level Petri games. It involves the definition of a unique, canonical representation of the reduced Büchi game. This allows us to translate a strategy in the Büchi game directly into a strategy in the Petri game. An implementation applied on six structurally different benchmark families shows in most cases a performance increase for larger state spaces.
Certifying Concavity and Monotonicity in Games via Sum-of-Squares Hierarchies
University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）；Singapore University of Technology and Design（新加坡科技设计大学）；Centre for Quantum Technologies, National University of Singapore（新加坡国立大学量子技术中心）；Archimedes/Athena Research Center（阿尔基米德/雅典研究中心）
Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds (Full Version)
图上两人零和博弈的经典目标通常处理无限博弈的极限行为：例如，在定量环境中的平均收益和总收益，或在定性环境中的奇偶性（编码Ω正则性质的规范方法）。这些目标提供了强大的抽象机制，并经常产生良好的属性，如无记忆的确定性。然而，它们的性质本身并不能保证在一定的时间范围内可以看到一些好的东西。在这项工作中，我们考虑两种方法对包含时间界限的奇偶性游戏。第一个是奇偶反应博弈，它是基于有限奇偶博弈[CHH 09]和有成本的奇偶博弈[FZ 14，WZ 16]的概念。第二个是窗口平价博弈，它的灵感来自于窗口平均收益博弈[CDRR 15]。我们比较了这两种方法，并表明，虽然它们被证明是等价的，在某些情况下，窗口奇偶校验游戏提供了一个更容易处理的替代方案时，时间界限作为一个参数（P-C。vs. PSPACE-C.）。特别是，它提供了一个保守的近似奇偶游戏可计算的多项式时间。此外，我们将这两种方法扩展到多维设置。我们给这两种类型的游戏的复杂性和内存边界的全貌。[CHH09] K. Chatterjee，T.A. Henzinger，F. Horn（2009）：在omega常规游戏中最终获胜。ACM trans. comput. log. 11（1）. [FZ14] N. Fijalkow，M. Zimmermann（2014）：Parity and Streett Games with Costs. LMC…
The algebraic structures of social organizations: the operad of cooperative games
ENSTA, Institut Polytechnique de Paris（巴黎理工学院 ENSTA）；Conservatoire National des Arts et Métiers（国立工艺院）；Université Paris Cité and Sorbonne Université, CNRS, IMJ-PRG（巴黎西岱大学与索邦大学，法国国家科学研究中心，IMJ-PRG）
