2 papers
cs.AI2021
Efficient Strategy Synthesis for MDPs with Resource Constraints
František Blahoudek, Petr Novotný, Melkior Ornik +2
We consider qualitative strategy synthesis for the formalism called consumption Markov decision processes. This formalism can model dynamics of an agents that operates under resour…
cs.FL2020
Qualitative Controller Synthesis for Consumption Markov Decision Processes
František Blahoudek, Tomáš Brázdil, Petr Novotný +3
Consumption Markov Decision Processes (CMDPs) are probabilistic decision-making models of resource-constrained systems. In a CMDP, the controller possesses a certain amount of a cr…