cs.LO cs.PL
J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
Kevin Batz Benjamin Lucien Kaminski Christoph Matheja Tobias Winkler