@misc{indiciaef9fa021f3513,
  title = {The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes},
  author = {Stephane Le Roux and Guillermo A. Perez},
  year = {2018},
  url = {https://arxiv.org/abs/1710.07903},
  note = {Source identifier: 1710.07903}
}