在与自然的博弈中，策略有多好？
How Good Is a Strategy in a Game With Nature?
摘要：
我们考虑有两个对立的参与者的游戏-出于这样一个事实，即通常的概率语义非常迅速地导致不可判定性时，考虑无限的游戏图或不确定信息，我们提出了两种替代的语义，导致可判定性的概率失败：一个基于计数和一个基于拓扑。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
