2013
Continuous-Time Stochastic Games with Time-Bounded Reachability
BRÁZDIL, Tomáš; Vojtěch FOREJT; Jan KRČÁL; Jan KŘETÍNSKÝ; Antonín KUČERA et al.Základní údaje
Originální název
Continuous-Time Stochastic Games with Time-Bounded Reachability
Autoři
Vydání
Information and Computation, Elsevier, 2013, 0890-5401
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Nizozemské království
Utajení
není předmětem státního či obchodního tajemství
Impakt faktor
Impact factor: 0.604
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14330/13:00065989
Organizační jednotka
Fakulta informatiky
UT WoS
Klíčová slova anglicky
continuous time stochastic systems; time-bounded reachability; stochastic games
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 24. 4. 2014 17:43, RNDr. Pavel Šmerk, Ph.D.
Anotace
V originále
We study continuous-time stochastic games with time-bounded reachability objectives and time-abstract strategies. We show that each vertex in such a game has a value (i.e., an equilibrium probability), and we classify the conditions under which optimal strategies exist. Further, we show how to compute epsilon-optimal strategies in finite games and provide detailed complexity estimations. Moreover, we show how to compute epsilon-optimal strategies in infinite games with finite branching and bounded rates where the bound as well as the successors of a given state are effectively computable. Finally, we show how to compute optimal strategies in finite uniform games.
Návaznosti
| GAP202/10/1469, projekt VaV |
| ||
| MUNI/A/0760/2012, interní kód MU |
|