Stéphane Le Roux 0001. Time-Aware Uniformization of Winning Strategies. In Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly, editors, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29 - July 3, 2020, Proceedings. Volume 12098 of Lecture Notes in Computer Science, pages 193-204, Springer, 2020. [doi]
Abstract is missing.