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.

---