2 search results - page 1 / 1 » Winning Concurrent Reachability Games Requires Doubly-Expone... |
LICS
2009
IEEE
15 years 5 months ago
2009
IEEE
—We exhibit a deterministic concurrent reachability game PURGATORYn with n non-terminal positions and a binary choice for both players in every position so that any positional st...
100
click to vote
STOC
2001
ACM
15 years 10 months ago
2001
ACM
We consider two-player games played for an infinite number of rounds, with -regular winning conditions. The games may be concurrent, in that the players choose their moves simulta...