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

https://hal.inria.fr/hal-01260696
Contributor : Olivier Serre <>
Submitted on : Friday, January 22, 2016 - 2:56:30 PM
Last modification on : Wednesday, February 3, 2021 - 7:54:27 AM
Long-term archiving on: : Friday, November 11, 2016 - 4:26:03 PM

File

CS15.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

399

Files downloads

791