Extending finite-memory determinacy to multi-player games

Stéphane Le Roux 0001, Arno Pauly. Extending finite-memory determinacy to multi-player games. Inf. Comput., 261(Part):676-694, 2018. [doi]

Abstract

Abstract is missing.