h1

h2

h3

h4

h5
h6
TY  - EJOUR
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
M1  - RWTH-2025-02090
SP  - 54 Seiten
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
KW  - Discrete Mathematics (cs.DM) (Other)
KW  - FOS: Computer and information sciences (Other)
KW  - FOS: Electrical engineering, electronic engineering, information engineering (Other)
KW  - Logic in Computer Science (cs.LO) (Other)
KW  - Systems and Control (eess.SY) (Other)
LB  - PUB:(DE-HGF)25
DO  - DOI:10.48550/arXiv.2501.11467
UR  - https://publications.rwth-aachen.de/record/1005904
ER  -