The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs (Invited Talk) - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2022

The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs (Invited Talk)

Résumé

Two-player turn-based zero-sum games on (finite or infinite) graphs are a central framework in theoretical computer science - notably as a tool for controller synthesis, but also due to their connection with logic and automata theory. A crucial challenge in the field is to understand how complex strategies need to be to play optimally, given a type of game and a winning objective. In this invited contribution, we give a tour of recent advances aiming to characterize games where finite-memory strategies suffice (i.e., using a limited amount of information about the past). We mostly focus on so-called chromatic memory, which is limited to using colors - the basic building blocks of objectives - seen along a play to update itself. Chromatic memory has the advantage of being usable in different game graphs, and the corresponding class of strategies turns out to be of great interest to both the practical and the theoretical sides.
Fichier principal
Vignette du fichier
mainFSTTCS.pdf (758.54 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04236273 , version 1 (11-10-2023)

Identifiants

Citer

Patricia Bouyer, Mickael Randour, Pierre Vandenhove. The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs (Invited Talk). FSTTCS'22, Dec 2022, Chennai (India), France. pp.3:1--3:18, ⟨10.4230/LIPIcs.FSTTCS.2022.3⟩. ⟨hal-04236273⟩
64 Consultations
11 Téléchargements

Altmetric

Partager

More