Concurrent games with tail objectives
K. Chatterjee, Theoretical Computer Science 388 (2007) 181–198.