Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1366035,
author = {Brázdil, Tomáš and Kučera, Antonín and Novotný, Petr},
address = {Heidelberg},
booktitle = {Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016},
doi = {http://dx.doi.org/10.1007/978-3-319-46520-3_3},
editor = {Cyrille Artho, Axel Legay, Doron Peled},
keywords = {mean payoff; energy games},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Heidelberg},
isbn = {978-3-319-46519-7},
pages = {32-49},
publisher = {Springer},
title = {Optimizing the Expected Mean Payoff in Energy Markov Decision Processes},
year = {2016}
}
TY - JOUR
ID - 1366035
AU - Brázdil, Tomáš - Kučera, Antonín - Novotný, Petr
PY - 2016
TI - Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
PB - Springer
CY - Heidelberg
SN - 9783319465197
KW - mean payoff
KW - energy games
N2 - 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.
ER -
BRÁZDIL, Tomáš, Antonín KUČERA and Petr NOVOTNÝ. Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. In Cyrille Artho, Axel Legay, Doron Peled. \textit{Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016}. Heidelberg: Springer, 2016, p.~32-49. ISBN~978-3-319-46519-7. Available from: https://dx.doi.org/10.1007/978-3-319-46520-3\_{}3.
|
