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