How Good Is a Strategy in a Game with Nature? - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Computational Logic Année : 2020

How Good Is a Strategy in a Game with Nature?

Résumé

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
CS19.pdf (957.41 Ko) Télécharger le fichier
Origine Accord explicite pour ce dépôt
Loading...

Dates et versions

hal-02487233 , version 1 (25-02-2020)

Identifiants

Citer

Arnaud Carayol, Olivier Serre. How Good Is a Strategy in a Game with Nature?. ACM Transactions on Computational Logic, 2020, 21 (3), pp.21:1-21:39. ⟨10.1145/3377137⟩. ⟨hal-02487233⟩
57 Consultations
116 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More