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.
Type de document :
Communication dans un congrès
30th Annual IEEE Symposium on Logic in Computer Science (LiCS 2015), 2015, Kyoto, Japan. pp.12, 2015, Proceedings of the 30th Annual IEEE Symposium on Logic in Computer Science (LiCS 2015). 〈10.1109/LICS.2015.62〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01260696
Contributeur : Olivier Serre <>
Soumis le : vendredi 22 janvier 2016 - 14:56:30
Dernière modification le : jeudi 5 juillet 2018 - 14:46:03
Document(s) archivé(s) le : vendredi 11 novembre 2016 - 16:26:03

Fichier

CS15.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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, 2015, Proceedings of the 30th Annual IEEE Symposium on Logic in Computer Science (LiCS 2015). 〈10.1109/LICS.2015.62〉. 〈hal-01260696〉

Partager

Métriques

Consultations de la notice

128

Téléchargements de fichiers

62