How Much Memory is Needed to Win Infinite Games (1997)

by S Dziembowski, M Jurdziński, I Walukiewicz
Venue:In 12th Annual IEEE Symposium on Logic in Computer Science, LICS ’97