4 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
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…