1. Principles of Model Checking;Baier,2008
2. Stochastic Optimal Control: The Discrete-Time Case;Bertsekas,1996
3. A survey of stochastic ω-regular games;Chatterjee;J. Comput. Syst. Sci.,2012
4. Chatterjee, K., Jurdzinski, M., and Henzinger, T.A. (2003). Simple stochastic parity games. In CSL 2003, volume 2803 of Lecture Notes in Computer Science, 100– 113. Springer.
5. Dutreix, M., Huh, J., and Coogan, S. (2020). Abstraction-based synthesis for stochastic systems with omega-regular objectives. arXiv preprint. ArXiv:2001.09236.