| Identifikační kód | RIV/00216224:14330/13:00080195 |
|---|
| Název v anglickém jazyce | Determinacy and Optimal Strategies in Infinite-state Stochastic Reachability Games |
|---|
| Druh | J - Článek v odborném periodiku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2013 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 1 |
|---|
| Počet tvůrců celkem | 1 |
|---|
| Počet domácích tvůrců | 1 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Václav Brožek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5532787) |
|---|
| Popis výsledku v anglickém jazyce | We consider perfect-information reachability stochastic games for 2 players on countable graphs. Such a game is strongly determined if, whenever we fix an inequality ~E{>,>=} and a threshold p, either Player Max has a strategy which forces the value of the game to satisfy ~p against any strategy of Player Min, or Min has a strategy which forces the opposite against any strategy of Max. One of our results shows that whenever one of the players has an optimal strategy in every state of a game, thenthis game is strongly determined. This significantly generalises, e.g., recent results on finitely-branching reachability games. For strong determinacy, our methods are substantially different, based on which player has the optimal strategy, because theroles of the players are not symmetric. We also do not restrict the branching of the games, and where we provide an extension of results for finitely-branching games, we had to overcome significant complications and employ new methods as |
|---|
| Klíčová slova oddělená středníkem | Stochastic games; Reachability; Determinacy; Optimal strategies |
|---|
| Stránka www, na které se nachází výsledek | http://www.sciencedirect.com/science/article/pii/S030439751200967X |
|---|
| DOI výsledku | 10.1016/j.tcs.2012.10.038 |
|---|