% 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{Heck:1029328,
author = {Heck, Linus and Quatmann, Tim and Spel, Jip Josephine and
Katoen, Joost-Pieter and Junges, Sebastian},
title = {{G}eneralized {P}arameter {L}ifting: {F}iner {A}bstractions
for {P}arametric {M}arkov {C}hains},
volume = {16145},
address = {Cham},
publisher = {Springer Nature Switzerland},
reportid = {RWTH-2026-02230},
series = {Lecture Notes in Computer Science},
pages = {207-230},
year = {2026},
note = {First Online: 26 October 2025},
comment = {Automated Technology for Verification and Analysis : 23rd
International Symposium, ATVA 2025, Bengaluru, India,
October 27–31, 2025, Proceedings / edited by Meenakshi
D´Souza, Raghavan Komondoor, B. Srivathsan},
booktitle = {Automated Technology for Verification
and Analysis : 23rd International
Symposium, ATVA 2025, Bengaluru, India,
October 27–31, 2025, Proceedings /
edited by Meenakshi D´Souza, Raghavan
Komondoor, B. Srivathsan},
organization = {Automated Technology for Verification
and Analysis,},
cin = {121310 / 080060},
cid = {$I:(DE-82)121310_20140620$ / $I:(DE-82)080060_20170720$},
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-032-08707-2_10},
url = {https://publications.rwth-aachen.de/record/1029328},
}
Gast ::