@misc{indiciae70fa1b5be0d9,
  title = {Reachability and safety objectives in Markov decision processes on long but finite horizons},
  author = {Galit Ashkenazi-Golan and János Flesch and Arkadi Predtetchinski and Eilon Solan},
  year = {2019},
  url = {https://arxiv.org/abs/1911.05578},
  note = {Source identifier: 1911.05578}
}