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 language | English |
|---|---|
| Article number | 21 |
| Journal | ACM Transactions on Computational Logic |
| Volume | 21 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 1 May 2020 |
| Externally published | Yes |
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
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver