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.

---