@misc{indiciaee66fa30a6e4a,
  title = {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)},
  author = {Kevin Batz and Benjamin Lucien Kaminski and Christoph Matheja and Tobias Winkler},
  year = {2024},
  doi = {10.1007/978-3-031-75783-9\_11},
  url = {https://arxiv.org/abs/2411.16564},
  note = {Source identifier: 2411.16564}
}