h1

h2

h3

h4

h5
h6
%0 Electronic Article
%A Chatterjee, Krishnendu
%A Quatmann, Tim
%A Schäffeler, Maximilian
%A Weininger, Maximilian
%A Winkler, Tobias
%A Zilken, Daniel
%T Fixed Point Certificates for Reachability and Expected Rewards in MDPs
%M RWTH-2025-02090
%P 54 Seiten
%D 2025
%B 31. International Conference on Tools and Algorithms for the Construction and Analysis of Systems
%C 3 May 2025 - 8 May 2025, Hamilton, ON (Canada)
Y2 3 May 2025 - 8 May 2025
M2 Hamilton, ON, Canada
%K Discrete Mathematics (cs.DM) (Other)
%K FOS: Computer and information sciences (Other)
%K FOS: Electrical engineering, electronic engineering, information engineering (Other)
%K Logic in Computer Science (cs.LO) (Other)
%K Systems and Control (eess.SY) (Other)
%F PUB:(DE-HGF)25
%9 Preprint
%R 10.48550/arXiv.2501.11467
%U https://publications.rwth-aachen.de/record/1005904