% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@INPROCEEDINGS{Chatterjee:1014495,
author = {Chatterjee, Krishnendu and Quatmann, Tim and Schäffeler,
Maximilian and Weininger, Maximilian and Winkler, Tobias and
Zilken, Daniel},
title = {{F}ixed {P}oint {C}ertificates for {R}eachability and
{E}xpected {R}ewards in {MDP}s; 1st ed. 2025},
volume = {15697},
address = {Cham},
publisher = {Springer Nature Switzerland},
reportid = {RWTH-2025-06111},
series = {Lecture notes in computer science},
pages = {130-151},
year = {2025},
comment = {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},
booktitle = {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},
month = {May},
date = {2025-05-03},
organization = {31. International Conference on Tools
and Algorithms for the Construction and
Analysis of Systems, Hamilton, ON
(Canada), 3 May 2025 - 8 May 2025},
cin = {121310 / 080060 / 120000},
cid = {$I:(DE-82)121310_20140620$ / $I:(DE-82)080060_20170720$ /
$I:(DE-82)120000_20140620$},
pnm = {MKW NRW 005-2401-0001 - VerifAIPO : Verifying Al Systems
under Partial Observability (005-2401-0001)},
pid = {G:(MKW NRW)005-2401-0001},
typ = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
doi = {10.1007/978-3-031-90653-4_7},
url = {https://publications.rwth-aachen.de/record/1014495},
}
guest ::