1. Probabilistic reachability and safety for controlled discrete-time stochastic hybrid systems;Abate;Auto-matica,2008
2. Stochastic optimal control: The discrete-time case;Bertsekas,1996
3. Markov processes;Dynkin,1965
4. Verification of general Markov decision processes by approximate similarity relations and policy refinement;Haesaert;In SIAM Journal on Control and Optimization,2017
5. Approximations of stochastic hybrid systems;Julius;IEEE Transactions on Automatic Control,2009