Organizace U  S Kód
hodnocení
Skupina
oborů
Body
výsledku
Body
upravené
Podíl VOBody VOBody VO
upravené
H14
Masarykova univerzita / Fakulta informatiky1314 D 484.0090.8576.8573.436
Výsledky hodnocení dříve prezentovala speciální podoba stránek výskytů výsledků doplněná informacemi o hodnocení daného výskytu a výsledku. To zde supluji doplněním kopií stránek z rvvi.cz/riv z 18.12.2017 o relevantní údaje z dat H16. Najetí myší na kód či skupinu zobrazí vysvětlující text (u některých vyřazených není k dispozici). Čísla jsou oproti zdroji zaokrouhlena na 3 desetinná místa.

Trading Performance for Stability in Markov Decision Processes (2013)výskyt výsledku

Identifikační kódRIV/00216224:14330/13:00066541
Název v anglickém jazyceTrading Performance for Stability in Markov Decision Processes
DruhD - Článek ve sborníku
Jazykeng - angličtina
Obor - skupinaI - Informatika
OborIN - Informatika
Rok uplatnění2013
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ýsledku1
Počet tvůrců celkem4
Počet domácích tvůrců3
Výčet všech uvedených jednotlivých tvůrcůTomáš Brázdil (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1762834)
Krishnendu Chatterjee (státní příslušnost: IN - Indická republika)
Vojtěch Forejt (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2477912)
Antonín Kučera (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9872655)
Popis výsledku v anglickém jazyceWe 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 theoreticalnotion 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 definitionsof 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 oddělená středníkemMarkov decision processes; optimization
Stránka www, na které se nachází výsledek-
DOI výsledku10.1109/LICS.2013.39

Údaje o výsledku v závislosti na druhu výsledku

Název sborníkuProceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013)
ISBN9781479904136
ISSN1043-6871
Počet stran výsledku10
Strana od-do331-340
Název nakladateleIEEE Computer Society
Místo vydáníLondon
Místo konání akceNew Orleans
Datum konání akce25.06.2013
Typ akce podle státní příslušnosti účastníkůWRD - Celosvětová
Kód UT WoS článku podle Web of Science000326815000038

Ostatní informace o výsledku

PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelGA0 - Grantová agentura České republiky (GA ČR)
Rok sběru2014
SpecifikaceRIV/00216224:14330/13:00066541!RIV14-GA0-14330___
Datum poslední aktualizace výsledku27.05.2014
Kontrolní číslo56676471

Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl

Projekt podporovaný GA ČR v programu GPGPP202/12/P612 - Formální verifikace stochastických systémů s reálným časem (2012 - 2014)