h1

h2

h3

h4

h5
h6
%0 Book Section
%A Batz, Kevin
%A Kaminski, Benjamin Lucien
%A Matheja, Christoph
%A Winkler, Tobias
%T 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
%V 15260
%C Cham
%I Springer
%M RWTH-2024-12327
%B Lecture notes in computer science
%P 255-302
%D 2025
%Z First Online: 13 November 2024
%< Principles of verification: cycling the probabilistic landscape, [Bd.] Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors
%F PUB:(DE-HGF)7
%9 Contribution to a book
%R 10.1007/978-3-031-75783-9_11
%U https://publications.rwth-aachen.de/record/999819