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, 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.
| langue originale | Anglais |
|---|---|
| Numéro d'article | 21 |
| journal | ACM Transactions on Computational Logic |
| Volume | 21 |
| Numéro de publication | 3 |
| Les DOIs | |
| état | Publié - 1 mai 2020 |
| Modification externe | Oui |
Empreinte digitale
Examiner les sujets de recherche de « How Good Is a Strategy in a Game with Nature? ». Ensemble, ils forment une empreinte digitale unique.Contient cette citation
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver