% 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{Bork:1019973,
author = {Bork, Alexander Nikolai and Quatmann, Tim and Katoen,
Joost-Pieter and Stein, Svenja Maria},
title = {{M}ulti-{C}ost-{B}ounded {R}eachability {A}nalysis of
{POMDP}s},
volume = {286},
reportid = {RWTH-2025-08686},
series = {Proceedings of machine learning research},
pages = {354-366},
year = {2025},
comment = {Conference on Uncertainty in Artificial Intelligence, 21-25
July 2025, Rio Othon Palace, Rio de Janeiro, Brazil /
Editors: Silvia Chiappa, Sara Magliacane},
booktitle = {Conference on Uncertainty in
Artificial Intelligence, 21-25 July
2025, Rio Othon Palace, Rio de Janeiro,
Brazil / Editors: Silvia Chiappa, Sara
Magliacane},
month = {Jul},
date = {2025-07-21},
organization = {41. Conference on Uncertainty in
Artificial Intelligence, Rio de Janeiro
(Brazil), 21 Jul 2025 - 25 Jul 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},
UT = {WOS:001592914500018},
doi = {10.18154/RWTH-2025-08686},
url = {https://publications.rwth-aachen.de/record/1019973},
}
Gast ::