Optimal Cost Almost-sure Reachability in POMDPs

Krishnendu Chatterjee, Martin Chmelík, Raghav Gupta +1

We consider partially observable Markov decision processes (POMDPs) with a set of target states and every transition is associated with an integer cost. The optimization objective…