Playing Stochastic Games Precisely (2012)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/12:00064715 |
|---|---|
| Název v anglickém jazyce | Playing Stochastic Games Precisely |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2012 |
| 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 | 6 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Taolue Chen (státní příslušnost: CN - Čínská lidová republika) Vojtěch Forejt (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2477912) Marta Kwiatkowska (státní příslušnost: PL - Polská republika) Aistis Simaitis (státní příslušnost: LT - Litevská republika) Ashutosh Trivedi (státní příslušnost: IN - Indická republika) Michael Ummels (státní příslušnost: DE - Spolková republika Německo) |
| Popis výsledku v anglickém jazyce | We study stochastic two-player games where the goal of one player is to achieve precisely a given expected value of the objective function, while the goal of the opponent is the opposite. Potential applications for such games include controller synthesisproblems where the optimisation objective is to maximise or minimise a given payoff function while respecting a strict upper or lower bound, respectively. We consider a number of objective functions including reachability, omega-regular, discounted reward, and total reward. We show that precise value games are not determined, and compare the memory requirements for winning strategies. For stopping games we establish necessary and sufficient conditions for the existence of a winning strategy of the controller for a large class of functions, as well as provide the constructions of compact strategies for the studied objectives. |
| Klíčová slova oddělená středníkem | Stochastic games; Reachability |
| Stránka www, na které se nachází výsledek | http://qav.comlab.ox.ac.uk/papers/concur12precise.pdf |
| DOI výsledku | 10.1007/978-3-642-32940-1_25 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | CONCUR 2012 - Concurrency Theory - 23rd International Conference |
|---|---|
| ISBN | 9783642329395 |
| ISSN | 0302-9743 |
| Počet stran výsledku | 15 |
| Strana od-do | 348-363 |
| Název nakladatele | Springer |
| Místo vydání | Berlin, Heidelberg |
| Místo konání akce | Newcastle |
| Datum konání akce | 2012 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2013 |
| Specifikace | RIV/00216224:14330/12:00064715!RIV13-MSM-14330___ |
| Datum poslední aktualizace výsledku | 09.08.2013 |
| Kontrolní číslo | 43451537 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný MŠMT v programu LA | LA09016 - Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (2009 - 2012) |
|---|---|
| Podpora / návaznosti | Institucionální podpora na rozvoj výzkumné organizace |