Winning Concurrent Reachability Games Requires Doubly-Exponential Patience.

Kristoffer Arnsfelt Hansen, Michal Kouck, Peter Bro Miltersen

Browse the full LICS paper archive.