47 citations · 144 across the 34 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
Tomáš Brázdil, Antonín Kučera, Petr Novotný
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 confi…
cs.LO2016
Stability in Graphs and Games
Tomáš Brázdil, Vojtěch Forejt, Antonín Kučera +1
We study graphs and two-player games in which rewards are assigned to states, and the goal of the players is to satisfy or dissatisfy certain property of the generated outcome, giv…