231 search results - page 1 / 47 » Concurrent Reachability Games |
101
click to vote
QEST
2006
IEEE
15 years 4 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
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...
83
Voted
CORR
2008
Springer
14 years 10 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
14 years 8 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...
44
Voted
FOCS
1998
IEEE
15 years 2 months ago
1998
IEEE