| Údaje o výsledku |
| Identifikační kód | RIV/00216224:14330/13:00066541 |
| Název v původním jazyce | Trading Performance for Stability in Markov Decision Processes |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor | IN - Informatika |
| Rok uplatnění | 2013 |
| 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 | Článek ve sborníku evidovaném v databázi Scopus |
| Bodové ohodnocení | 8,000 |
| Faktor korekce | 50,1 % |
| Body (upravené podle přílohy č. 8 Metodiky) | 4,009 |
| 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 | 85,7 % | 6,857 | 3,436 |
|
| Tvůrci výsledku |
| Počet tvůrců celkem | 4 |
| Počet domácích tvůrců | 3 |
| Tvůrce | Brázdil Tomáš (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 1762834) |
| Tvůrce | Chatterjee Krishnendu (státní příslušnost: IN - Indická republika) |
| Tvůrce | Forejt Vojtěch (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 2477912) |
| Tvůrce | Kučera Antonín (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 9872655) |
| Údaje blíže specifikující výsledek |
| Popis v původním jazyce | We study the complexity of central controller synthesis problems for finite-state Markov decision processes, where the objective is to optimize both the expected mean-payoff performance of the system and its stability. We argue that the basic theoretical notion of expressing the stability in terms of the variance of the mean-payoff (called global variance in our paper) is not always sufficient, since it ignores possible instabilities on respective runs. For this reason we propose alernative definitions of stability, which we call local and hybrid variance, and which express how rewards on each run deviate from the run's own mean-payoff and from the expected mean-payoff, respectively. |
| Klíčová slova | Markov decision processes; optimization |
| Kód UT ISI | 000326815000038 |
| Název sborníku | Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013) |
| Rozsah stran | 331-340 |
| Forma vydání | C - Paměťový nosič (CD, DVD, flash disk, …) |
| ISSN | 1043-6871 |
| ISBN | 9781479904136 |
| Počet stran výsledku | 10 |
| Název nakladatele | IEEE Computer Society |
| Místo vydání | London |
| Místo konání akce | New Orleans |
| Datum zahájení akce | 25.6.2013 |
| Typ akce podle státní příslušnoti účastníků | WRD - Světová |
| DOI výsledku | 10.1109/LICS.2013.39 |
| Údaje o tomto záznamu o výsledku |
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
| Dodavatel | GA0 - Grantová agentura České republiky (GA ČR) |
| Rok sběru | 2014 |
| Systémové označení dodávky dat | RIV14-GA0-14330___/01:1 |
| Specifikace | RIV/00216224:14330/13:00066541!RIV14-GA0-14330___ |
| Kontrolní kód | [4F80AFFEA236] |
| 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 | GPP202/12/P612 - Formální verifikace stochastických systémů s reálným časem (2012-2014, GA0/GP) |