Winning Concurrent Reachability Games Requires Doubly-Exponential Patience | IEEE Conference Publication | IEEE Xplore