| BRÁZDIL, Tomáš, Vojtěch FOREJT, Jan KRČÁL, Jan KŘETÍNSKÝ and Antonín KUČERA. Continuous-Time Stochastic Games with Time-Bounded Reachability. Information and Computation. Elsevier, 2013, vol. 224, No 1, p. 46-70. ISSN 0890-5401. Available from: https://dx.doi.org/10.1016/j.ic.2013.01.001. |
Other formats:
BibTeX
LaTeX
RIS
@article{1082203,
author = {Brázdil, Tomáš and Forejt, Vojtěch and Krčál, Jan and Křetínský, Jan and Kučera, Antonín},
article_number = {1},
doi = {http://dx.doi.org/10.1016/j.ic.2013.01.001},
keywords = {continuous time stochastic systems; time-bounded reachability; stochastic games},
language = {eng},
issn = {0890-5401},
journal = {Information and Computation},
title = {Continuous-Time Stochastic Games with Time-Bounded Reachability},
volume = {224},
year = {2013}
}
TY - JOUR
ID - 1082203
AU - Brázdil, Tomáš - Forejt, Vojtěch - Krčál, Jan - Křetínský, Jan - Kučera, Antonín
PY - 2013
TI - Continuous-Time Stochastic Games with Time-Bounded Reachability
JF - Information and Computation
VL - 224
IS - 1
SP - 46-70
EP - 46-70
PB - Elsevier
SN - 08905401
KW - continuous time stochastic systems
KW - time-bounded reachability
KW - stochastic games
N2 - 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.
ER -
BRÁZDIL, Tomáš, Vojtěch FOREJT, Jan KRČÁL, Jan KŘETÍNSKÝ and Antonín KUČERA. Continuous-Time Stochastic Games with Time-Bounded Reachability. \textit{Information and Computation}. Elsevier, 2013, vol.~224, No~1, p.~46-70. ISSN~0890-5401. Available from: https://dx.doi.org/10.1016/j.ic.2013.01.001.
|
