TY  - RPRT
TI  - On the Complexity of Reachability in Parametric Markov Decision Processes
AU  - Tobias Winkler
AU  - Sebastian Junges
AU  - Guillermo A. Pérez
AU  - Joost-Pieter Katoen
PY  - 2019
UR  - https://arxiv.org/abs/1904.01503
ID  - 1904.01503
ER  -