1. Computational approaches to reachability analysis of stochastic hybrid systems;Abate,2007
2. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems;Abate;Automatica,2008
3. Stochastic optimal control: the discrete-time case;Bertsekas;Athena Scientific,1996
4. A stochastic games framework for verification and control of discrete time stochastic hybrid systems;Ding;Automatica,2013
5. A semidefinite programming approach to control synthesis for stochastic reach-avoid problems;Drzajic,2017