cs.LO cs.PL
Kevin Batz Benjamin Lucien Kaminski Christoph Matheja Tobias Winkler
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)