Skip to Main content Skip to Navigation
Conference papers

How Good Is a Strategy in a Game with Nature?

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
Contributor : Olivier Serre Connect in order to contact the contributor
Submitted on : Friday, January 22, 2016 - 2:56:30 PM
Last modification on : Saturday, January 15, 2022 - 3:59:00 AM
Long-term archiving on: : Friday, November 11, 2016 - 4:26:03 PM


Files produced by the author(s)



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⟩



Record views


Files downloads