@Article{         BrazdilKuceraNovotny,
  Author        = "Br{\'a}zdil, Tom{\'a}{\v s} and Ku{\v c}era, Anton{\'\i}n and Novotn{\'y}, Petr",
  Abstract      = "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.",
  date-added    = "2016-07-09 21:19:48 +0000",
  date-modified = "2016-07-09 21:22:23 +0000",
  EPrint        = "1607.00678",
  Keywords      = "citesme! and readme",
  Month         = "07",
  Title         = "Optimizing the Expected Mean Payoff in Energy Markov Decision Processes",
  URL           = "http://arxiv.org/abs/1607.00678",
  Year          = "2016",
  bdsk-url-1    = "http://arxiv.org/abs/1607.00678",
  File          = "Optimizing the Expected Mean Payoff in Energy Markov Decision Processes - Brázdil, Kučera, Novotný (0) (0) - a - a - t.pdf"
}

@Article{ BrazdilKuceraNovotny, Author = "Br{\'a}zdil, Tom{\'a}{\v s} and Ku{\v c}era, Anton{\'\i}n and Novotn{\'y}, Petr", Abstract = "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.", date-added = "2016-07-09 21:19:48 +0000", date-modified = "2016-07-09 21:22:23 +0000", EPrint = "1607.00678", Keywords = "citesme! and readme", Month = "07", Title = "Optimizing the Expected Mean Payoff in Energy Markov Decision Processes", URL = "http://arxiv.org/abs/1607.00678", Year = "2016", bdsk-url-1 = "http://arxiv.org/abs/1607.00678", File = "Optimizing the Expected Mean Payoff in Energy Markov Decision Processes - Brázdil, Kučera, Novotný (0) (0) - a - a - t.pdf" }