Partial and Conditional Expectations in Markov Decision Processes with Integer Weights

Jakob Piribauer, Christel Baier

The paper addresses two variants of the stochastic shortest path problem ('optimize the accumulated weight until reaching a goal state') in Markov decision processes (MDPs) with in…