2016
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
BRÁZDIL, Tomáš, Antonín KUČERA a Petr NOVOTNÝZákladní údaje
Originální název
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
Autoři
BRÁZDIL, Tomáš (203 Česká republika, domácí), Antonín KUČERA (203 Česká republika, garant, domácí) a Petr NOVOTNÝ (203 Česká republika)
Vydání
Heidelberg, Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, od s. 32-49, 18 s. 2016
Nakladatel
Springer
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"
Impakt faktor
Impact factor: 0.402 v roce 2005
Kód RIV
RIV/00216224:14330/16:00088482
Organizační jednotka
Fakulta informatiky
ISBN
978-3-319-46519-7
ISSN
UT WoS
000389808100003
Klíčová slova anglicky
mean payoff; energy games
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 14. 5. 2020 11:02, RNDr. Pavel Šmerk, Ph.D.
Anotace
V originále
Energy Markov Decision Processes (EMDPs) are finite-state Markov decision processes where each transition is assigned an integer counter update and a rational payoff. An EMDP configuration is a pair s(n), where s is a control state and n is the current counter value. The configurations are changed by performing transitions in the standard way. We consider the problem of computing a safe strategy (i.e., a strategy that keeps the counter non-negative) which maximizes the expected mean payoff.
Návaznosti
| GBP202/12/G061, projekt VaV |
|