37 citations · 151 across the 85 of their papers we have counts for
1 paper · 2 filters
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…