Distributed Games
Distributed Games
复制标题
分布式游戏
DOI：
--
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
I. Walukiewicz
中科院分区：
文献类型：
--
作者：
S. Mohalik;I. Walukiewicz
。我们提出了分布式游戏的概念作为形式化和解决分布式综合问题的框架。一般来说，解决分布式博弈的问题是不可判定的。我们给出两个定理，可以简化并可能解决一些分布式游戏。我们展示了如何在所提出的设置中形式化和解决文献中发现的几种分布式综合方法。
. We propose a notion of distributed games as a framework to formalize and solve distributed synthesis problems. In general the problem of solving distributed games is undecidable. We give two theorems allowing to simplify, and possibly to solve, some distributed games. We show how several approaches to distributed synthesis found in the literature can be formalized and solved in the proposed setting.