Partial and Conditional Expectations in Markov Decision Processes with Integer Weights.

Jakob Piribauer, Christel Baier

Browse the full FOSSACS paper archive.