% 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”.
@INBOOK{Hensel:1005892,
author = {Hensel, Hans Christian and Junges, Sebastian and Quatmann,
Tim and Volk, Matthias},
title = {{R}iding the {S}torm in a {P}robabilistic {M}odel
{C}hecking {L}andscape},
volume = {15261},
address = {Cham},
publisher = {Springer},
reportid = {RWTH-2025-02082},
series = {Lecture notes in computer science},
pages = {98-114},
year = {2025},
note = {First Online: 13 November 2024},
comment = {Principles of verification: cycling the probabilistic
landscape : essays dedicated to Joost-Pieter Katoen on the
occasion of his 60th birthday : part II / Nils Jansen,
Sebastian Junges, Benjamin Lucien Kaminski, Christoph
Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga,
Matthias Volk, editors},
booktitle = {Principles of verification: cycling
the probabilistic landscape : essays
dedicated to Joost-Pieter Katoen on the
occasion of his 60th birthday : part II
/ Nils Jansen, Sebastian Junges,
Benjamin Lucien Kaminski, Christoph
Matheja, Thomas Noll, Tim Quatmann,
Mariëlle Stoelinga, Matthias Volk,
editors},
cin = {121310 / 120000},
cid = {$I:(DE-82)121310_20140620$ / $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},
doi = {10.1007/978-3-031-75775-4_5},
url = {https://publications.rwth-aachen.de/record/1005892},
}
guest ::