TY  - RPRT
TI  - Upper bounds for the reach-avoid probability via robust optimization
AU  - Nikolaos Kariotoglou
AU  - Maryam Kamgarpour
AU  - Tyler H. Summers
AU  - John Lygeros
PY  - 2015
UR  - https://arxiv.org/abs/1506.03371
ID  - 1506.03371
ER  -