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.
|