You are not logged in | Log in

Memory in games and universal graphs

Speaker(s)
Pierre Ohlmann
Affiliation
MIM UW
Date
Jan. 11, 2023, 2:15 p.m.
Room
room 5050
Seminar
Seminar Automata Theory

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.