How Good Is a Strategy in a Game with Nature? - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

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.
Fichier principal
Vignette du fichier
CS15.pdf (347.15 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01260696 , version 1 (22-01-2016)



Arnaud Carayol, Olivier Serre. How Good Is a Strategy in a Game with Nature?. 30th Annual IEEE Symposium on Logic in Computer Science (LiCS 2015), 2015, Kyoto, Japan. pp.12, ⟨10.1109/LICS.2015.62⟩. ⟨hal-01260696⟩
101 View
113 Download



Gmail Facebook X LinkedIn More