h1

h2

h3

h4

h5
h6
TY  - CHAP
AU  - Batz, Kevin
AU  - Kaminski, Benjamin Lucien
AU  - Matheja, Christoph
AU  - Winkler, Tobias
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
VL  - 15260
CY  - Cham
PB  - Springer
M1  - RWTH-2024-12327
T2  - Lecture notes in computer science
SP  - 255-302
PY  - 2025
N1  - First Online: 13 November 2024
LB  - PUB:(DE-HGF)7
DO  - DOI:10.1007/978-3-031-75783-9_11
UR  - https://publications.rwth-aachen.de/record/999819
ER  -