Informace o publikaci

Optimizing the Expected Mean Payoff in Energy Markov Decision Processes

Autoři

BRÁZDIL Tomáš KUČERA Antonín NOVOTNÝ Petr

Druh Článek ve sborníku
Konference Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1007/978-3-319-46520-3_3
Obor Informatika
Klíčová slova mean payoff; energy games
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info