Winning concurrent reachability games requires doubly exponential patience (2009)

by K A Hansen, M Kouck´y, P B Miltersen
Venue:In Proc. of IEEE Symp. on Logic in Comp. Sci., LICS