论文标题
与大自然的游戏中的策略有多好？
How Good Is a Strategy in a Game With Nature?
论文作者
论文摘要
我们考虑与两个对抗玩家的游戏---Éloïse（对程序进行建模）和Abélard（建模拜占庭环境），以及我们称之为自然的第三个，不可预测和无法控制的玩家。由于通常在考虑无限的游戏图或不完美的信息时，通常的概率语义很快导致了不可证明的性，我们提出了两种替代语义，这些语义导致概率上的替代性语义是基于计数和基于拓扑。
We consider games with two antagonistic players --- Éloïse (modelling a program) and Abélard (modelling a byzantine environment) --- and a third, unpredictable and uncontrollable player, that we call Nature. Motivated by the fact that the usual probabilistic semantics very quickly leads to undecidability when considering either infinite game graphs or imperfect-information, we propose two alternative semantics that leads to decidability where the probabilistic one fails: one based on counting and one based on topology.
