h1

h2

h3

h4

h5
h6
%0 Conference Paper
%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; 1st ed. 2025
%V 15697
%C Cham
%I Springer Nature Switzerland
%M RWTH-2025-06111
%B Lecture notes in computer science
%P 130-151
%D 2025
%< Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II / edited by Arie Gurfinkel, Marijn Heule
%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
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%R 10.1007/978-3-031-90653-4_7
%U https://publications.rwth-aachen.de/record/1014495