Skip to main navigation Skip to search Skip to main content

How Good Is a Strategy in a Game with Nature?

  • Université Paris-Est
  • Université Paris 7

Research output: Contribution to journalArticlepeer-review

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, which 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 lead to decidability where the probabilistic one fails: one based on counting and one based on topology.

Original languageEnglish
Article number21
JournalACM Transactions on Computational Logic
Volume21
Issue number3
DOIs
Publication statusPublished - 1 May 2020
Externally publishedYes

Keywords

  • Qualitative study of games
  • cardinality constraints
  • large sets of branches
  • tree automata

Fingerprint

Dive into the research topics of 'How Good Is a Strategy in a Game with Nature?'. Together they form a unique fingerprint.

Cite this