TY  - RPRT
TI  - 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)
AU  - Kevin Batz
AU  - Benjamin Lucien Kaminski
AU  - Christoph Matheja
AU  - Tobias Winkler
PY  - 2024
DO  - 10.1007/978-3-031-75783-9_11
UR  - https://arxiv.org/abs/2411.16564
ID  - 2411.16564
ER  -