47 citations · 115 across the 33 of their papers we have counts for
4 papers · 1 filter
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…
Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent
Ezio Bartocci, Luca Bortolussi, Tomǎš Brázdil +2
Continuous-time Markov decision processes are an important class of models in a wide range of applications, ranging from cyber-physical systems to synthetic biology. A central prob…
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…
Stochastic Shortest Path with Energy Constraints in POMDPs
Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelík +2
We consider partially observable Markov decision processes (POMDPs) with a set of target states and positive integer costs associated with every transition. The traditional optimiz…