@misc{indiciaef41dbac0b09c,
  title = {On the Complexity of Reachability in Parametric Markov Decision Processes},
  author = {Tobias Winkler and Sebastian Junges and Guillermo A. Pérez and Joost-Pieter Katoen},
  year = {2019},
  url = {https://arxiv.org/abs/1904.01503},
  note = {Source identifier: 1904.01503}
}