% 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{Batz:816242,
author = {Batz, Kevin and Junges, Sebastian and Kaminski, Benjamin
Lucien and Katoen, Joost-Pieter and Matheja, Christoph and
Schröer, Philipp},
title = {{P}r{IC}3: {P}roperty {D}irected {R}eachability for {MDP}s},
volume = {12225},
address = {Cham, Switzerland},
publisher = {Springer},
reportid = {RWTH-2021-03075},
series = {Lecture notes in computer science},
pages = {512-538},
year = {2020},
comment = {Computer Aided Verification : 32nd International
Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020
: Proceedings, Part II / Shuvendu K. Lahiri, Chao Wang
(eds)},
booktitle = {Computer Aided Verification : 32nd
International Conference, CAV 2020, Los
Angeles, CA, USA, July 21-24, 2020 :
Proceedings, Part II / Shuvendu K.
Lahiri, Chao Wang (eds)},
month = {Jul},
date = {2020-07-21},
organization = {32. International Conference on
Computer Aided Verification, online, 21
Jul 2020 - 24 Jul 2020},
cin = {121310 / 120000},
cid = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
pnm = {FRAPPANT - Formal Reasoning About Probabilistic Programs:
Breaking New Ground for Automation (787914)},
pid = {G:(EU-Grant)787914},
typ = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
UT = {WOS:000695272500027},
doi = {10.1007/978-3-030-53291-8_27},
url = {https://publications.rwth-aachen.de/record/816242},
}
guest ::