Nie jesteś zalogowany | Zaloguj się

Memory in games and universal graphs

Prelegent(ci)
Pierre Ohlmann
Afiliacja
MIM UW
Termin
11 stycznia 2023 14:15
Pokój
p. 5050
Seminarium
Seminarium „Teoria automatów”

I will present recent characterisations of positionality and finite memory in infinite duration games by means of universal graphs. The goal is to derive properties of games with a given objective W by understanding the structure of graphs satisfying W (meaning that all path colorations belong to W). We will look at some examples, review the caracterization for positionality (LICS 2022) and discuss a recent extension to finite memory obtained jointly with Antonio Casares.