D 2009

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

BRÁZDIL, Tomáš (203 Česká republika), Vojtěch FOREJT (203 Česká republika, domácí), Jan KRČÁL (203 Česká republika, domácí), Jan KŘETÍNSKÝ (203 Česká republika, domácí) a Antonín KUČERA (203 Česká republika, garant)

Vydání

Dagstuhl, Germany, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), od s. 61-72, 12 s. 2009

Nakladatel

Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Kód RIV

RIV/00216224:14330/09:00038704

Organizační jednotka

Fakulta informatiky

ISBN

978-3-939897-13-2

ISSN

UT WoS

000315361200003

Klíčová slova anglicky

continuous time games; reachability

Štítky

Příznaky

Mezinárodní význam, Recenzováno

Anotace

V originále

We study continuous-time stochastic games with time-bounded reachability objectives. 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. Finally, we show how to compute optimal strategies in finite uniform games, and how to compute e-optimal strategies in finitely-branching games with bounded rates (for finite games, we provide detailed complexity estimations).

Česky

V článku se studují stochastické hry se spojitým časem. Je dokázáno, že pro časově omezenou dosažitelnost existuje rovnovážná hodnota hry a jsou klasifikovány podmínky, za kterých existují optimální strategie.

Návaznosti

MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky