notesum.ai

Published at November 25

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)

cs.LO

cs.PL

Released Date: November 25, 2024

Authors: Kevin Batz¹, Benjamin Lucien Kaminski², Christoph Matheja³, Tobias Winkler¹

Aff.: ¹RWTH Aachen University, Germany; ²Saarland University, Saarland Informatics Campus, Germany; University College London, United Kingdom; ³Technical University of Denmark, Kgs. Lyngby, Denmark

Arxiv: http://arxiv.org/abs/2411.16564v1