The memory of $\omega$-regular and BC(${\Sigma }_2^0$) objectives

Antonio Casares, Pierre Ohlmann

In the context of 2-player zero-sum infinite-duration games played on (potentially infinite) graphs, the memory of an objective is the smallest integer k such that in any game won…