@misc{indiciae9c37384b06be,
  title = {Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes},
  author = {Christel Baier and Nathalie Bertrand and Clemens Dubslaff and Daniel Gburek and Ocan Sankur},
  year = {2018},
  url = {https://arxiv.org/abs/1804.11301},
  note = {Source identifier: 1804.11301}
}