BRÁZDIL, Tomáš, Vojtěch FOREJT, Jan KRČÁL, Jan KŘETÍNSKÝ a Antonín KUČERA. Continuous-Time Stochastic Games with Time-Bounded Reachability. Information and Computation. Elsevier, 2013, roč. 224, č. 1, s. 46-70. ISSN 0890-5401. Dostupné z: https://dx.doi.org/10.1016/j.ic.2013.01.001. |
Další formáty:
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Ý a Antonín KUČERA. Continuous-Time Stochastic Games with Time-Bounded Reachability. \textit{Information and Computation}. Elsevier, 2013, roč.~224, č.~1, s.~46-70. ISSN~0890-5401. Dostupné z: https://dx.doi.org/10.1016/j.ic.2013.01.001.
|