TY  - RPRT
TI  - The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes
AU  - Nikolaos Kariotoglou
AU  - Maryam Kamgarpour
AU  - Tyler Summers
AU  - John Lygeros
PY  - 2017
UR  - https://arxiv.org/abs/1411.5925
ID  - 1411.5925
ER  -