TY  - RPRT
TI  - Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic Systems via Lagrangian Methods
AU  - Joseph D. Gleason
AU  - Abraham P. Vinod
AU  - Meeko. M. K. Oishi
PY  - 2017
UR  - https://arxiv.org/abs/1704.03555
ID  - 1704.03555
ER  -