@misc{indiciaeb96a6e94c4f9,
  title = {The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes},
  author = {Nikolaos Kariotoglou and Maryam Kamgarpour and Tyler Summers and John Lygeros},
  year = {2017},
  url = {https://arxiv.org/abs/1411.5925},
  note = {Source identifier: 1411.5925}
}