Title | ||
---|---|---|
Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides |
Abstract | ||
---|---|---|
We consider two-players stochastic reachability games with partial ob- servation on both sides and finitely many states, signals and actions. We prove that in such games, either player 1 has a strategy for winning with probability 1, or player 2 has such a strategy, or both players have strate- gies that guarantee winning with non-zero probability (positively winning strategies). We give a fix-point algorithm for deciding which of the three cases holds, which can be decided in doubly-exponential time. |
Year | Venue | Keywords |
---|---|---|
2008 | Clinical Orthopaedics and Related Research | game theory,fixed point |
Field | DocType | Volume |
Discrete mathematics,Mathematical economics,Algebra,Reachability,Decidability,Determinacy,Mathematics | Journal | abs/0811.3 |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nathalie Bertrand | 1 | 0 | 0.34 |
Blaise Genest | 2 | 304 | 25.09 |
Hugo Gimbert | 3 | 249 | 21.31 |