3 citations · 9 across the 10 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013
What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives
Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol
We consider partially observable Markov decision processes (POMDPs) with ω-regular conditions specified as parity objectives. The class of ω-regular languages extends regular langu…
cs.AI2013
POMDPs under Probabilistic Semantics
Krishnendu Chatterjee, Martin Chmelík
We consider partially observable Markov decision processes (POMDPs) with limit-average payoff, where a reward value in the interval [0,1] is associated to every transition, and the…