Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games Yazar: Svorenova, M, Kretinsky, J, Chmelik, M, Chatterjee, K, Cerna, I, Belta, C