Detailed Information on Publication Record
2016
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
BRÁZDIL, Tomáš, Antonín KUČERA and Petr NOVOTNÝBasic information
Original name
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
Authors
BRÁZDIL, Tomáš (203 Czech Republic, belonging to the institution), Antonín KUČERA (203 Czech Republic, guarantor, belonging to the institution) and Petr NOVOTNÝ (203 Czech Republic)
Edition
Heidelberg, Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, p. 32-49, 18 pp. 2016
Publisher
Springer
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Germany
Confidentiality degree
není předmětem státního či obchodního tajemství
Publication form
printed version "print"
Impact factor
Impact factor: 0.402 in 2005
RIV identification code
RIV/00216224:14330/16:00088482
Organization unit
Faculty of Informatics
ISBN
978-3-319-46519-7
ISSN
UT WoS
000389808100003
Keywords in English
mean payoff; energy games
Tags
Tags
International impact, Reviewed
Změněno: 14/5/2020 11:02, RNDr. Pavel Šmerk, Ph.D.
Abstract
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.
Links
| GBP202/12/G061, research and development project |
|