h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Chatterjee, Krishnendu
AU  - Quatmann, Tim
AU  - Schäffeler, Maximilian
AU  - Weininger, Maximilian
AU  - Winkler, Tobias
AU  - Zilken, Daniel
TI  - Fixed Point Certificates for Reachability and Expected Rewards in MDPs; 1st ed. 2025
VL  - 15697
CY  - Cham
PB  - Springer Nature Switzerland
M1  - RWTH-2025-06111
T2  - Lecture notes in computer science
SP  - 130-151
PY  - 2025
T2  - 31. International Conference on Tools and Algorithms for the Construction and Analysis of Systems
CY  - 3 May 2025 - 8 May 2025, Hamilton, ON (Canada)
Y2  - 3 May 2025 - 8 May 2025
M2  - Hamilton, ON, Canada
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
DO  - DOI:10.1007/978-3-031-90653-4_7
UR  - https://publications.rwth-aachen.de/record/1014495
ER  -