Time-aware uniformization of winning strategies - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2020

Time-aware uniformization of winning strategies

Résumé

Two-player win/lose games of infinite duration are involved in several disciplines including computer science and logic. If such a game has deterministic winning strategies, one may ask how simple such strategies can get. The answer may help with actual implementation, or to win despite imperfect information, or to conceal sensitive information especially if the game is repeated. Given a concurrent two-player win/lose game of infinite duration, this article considers equivalence relations over histories of played actions. A classical restriction used here is that equivalent histories have equal length, hence time awareness. A sufficient condition is given such that if a player has winning strategies, she has one that prescribes the same action at equivalent histories, hence uniformization. The proof is fairly constructive and preserves finiteness of strategy memory, and counterexamples show relative tightness of the result. Several corollaries follow for games with states and colors.
Fichier principal
Vignette du fichier
paper.pdf (287.81 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04479517 , version 1 (27-02-2024)

Identifiants

Citer

Stéphane Le Roux. Time-aware uniformization of winning strategies. Computability in Europe 2020, Jun 2020, Fisciano, Italy. pp.193-204, ⟨10.1007/978-3-030-51466-2_17⟩. ⟨hal-04479517⟩
38 Consultations
16 Téléchargements

Altmetric

Partager

More