| Údaje o výsledku |
| Identifikační kód | RIV/00216224:14330/12:00064715 |
| Název v původním jazyce | Playing Stochastic Games Precisely |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor | IN - Informatika |
| Rok uplatnění | 2012 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů |
| Počet výskytů výsledku | 1 |
| Údaje z Hodnocení výsledků výzkumných organizací 2014 |
| Výsledek byl hodnocen v Pilíři I |
| Rozsah vyřazení výsledku | Tento výskyt výsledku není vyřazen |
| Zařazení výsledku v hodnocení | D - Článek ve sborníku |
| Skupina oboru v hodnocení | 04 - Technické a informatické vědy |
| Konkrétní způsob(y) hodnocení výsledku | Výsledek hodnocený již v předchozím hodnocení, body se přebírají |
| Bodové ohodnocení | 44,376 |
| Faktor korekce | 77,6 % |
| Body (upravené podle přílohy č. 8 Metodiky) | 34,420 |
| Rozdělení výsledku mezi předkladatele |
| Organizace | Výzkumná organizace? | Podíl | Body | Body (upravené podle přílohy č. 8 Metodiky) |
|---|
| Masarykova univerzita / Fakulta informatiky | ano | 28,6 % | 12,679 | 9,834 |
|
| Tvůrci výsledku |
| Počet tvůrců celkem | 6 |
| Počet domácích tvůrců | 1 |
| Tvůrce | Chen Taolue (státní příslušnost: CN - Čínská lidová republika) |
| Tvůrce | Forejt Vojtěch (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku; vedidk: 2477912) |
| Tvůrce | Kwiatkowska Marta (státní příslušnost: PL - Polská republika) |
| Tvůrce | Simaitis Aistis (státní příslušnost: LT - Litevská republika) |
| Tvůrce | Trivedi Ashutosh (státní příslušnost: IN - Indická republika) |
| Tvůrce | Ummels Michael (státní příslušnost: DE - Spolková republika Německo) |
| Údaje blíže specifikující výsledek |
| Popis v původní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 synthesis problems 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 | Stochastic games; Reachability |
| Název sborníku | CONCUR 2012 - Concurrency Theory - 23rd International Conference |
| Rozsah stran | 348-363 |
| Forma vydání | P - Tištěná verze „print“ |
| ISSN | 0302-9743 |
| Počet stran výsledku | 15 |
| ISBN | 9783642329395 |
| Název nakladatele | Springer-Verlag |
| Místo vydání | Berlin, Heidelberg |
| Místo konání akce | Newcastle |
| Rok konání akce | 2012 |
| Typ akce podle státní příslušnoti účastníků | WRD - Světová |
| Adresa www stránky s výsledkem | http://qav.comlab.ox.ac.uk/papers/concur12precise.pdf |
| DOI výsledku | 10.1007/978-3-642-32940-1_25 |
| Údaje o tomto záznamu 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 |
| Systémové označení dodávky dat | RIV13-MSM-14330___/02:2 |
| Specifikace | RIV/00216224:14330/12:00064715!RIV13-MSM-14330___ |
| Kontrolní kód | [B6D3B9069077] |
| Jiný výskyt tohoto výsledku se v RIV nenachází |
| Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl |
| Projekt | LA09016 - Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (2009-2012, MSM/LA) |
| I - Instit. podpora na rozvoj výzkumné organizace |