A uniformization-based algorithm for continuous-time stochastic games model checking. - Shirin Baghoolizadeh; Ali Movaghar 001; Negin Majidi (Theor. Comput. Sci., 2019)