h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Winkler, Tobias
AU  - Junges, Sebastian
AU  - Pérez, Guillermo A.
AU  - Katoen, Joost-Pieter
TI  - On the Complexity of Reachability in Parametric Markov Decision Processes
VL  - 140
CY  - Saarbrücken/Wadern, Germany
PB  - Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August
M1  - RWTH-2020-00609
T2  - Leibniz international proceedings in informatics : LIPIcs
PY  - 2019
T2  - 30. International Conference on Concurrency Theory
CY  - 27 Aug 2019 - 30 Aug 2019, Amsterdam (Netherlands)
Y2  - 27 Aug 2019 - 30 Aug 2019
M2  - Amsterdam, Netherlands
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
DO  - DOI:10.4230/LIPICS.CONCUR.2019.14
UR  - https://publications.rwth-aachen.de/record/780394
ER  -