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…