On the Synthesis of Strategies in Infinite Games., (1995)

by W Thomas
Venue:in STACS 95, Proc. Symposium on Theoretical Aspects of Computer Science,