231 search results - page 1 / 47 » Concurrent Reachability Games |
QEST
2006
IEEE
13 years 10 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
LICS
2009
IEEE
13 years 11 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...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
We consider concurrent games played on graphs. At every round of the game, each player simultaneously and independently selects a move; the moves jointly determine the transition ...
FORMATS
2010
Springer
13 years 2 months ago
2010
Springer
In an expected reachability-time game (ERTG) two players, Min and Max, move a token along the transitions of a probabilistic timed automaton, so as to minimise and maximise, respec...
FOCS
1998
IEEE
13 years 9 months ago
1998
IEEE