A uniformization-based algorithm for continuous-time stochastic games model checking ارائه الگوريتمي مبتي بر يكنواخت سازي براي وارسي مدل بازيهاي تصادفي زمان پيوسته doi 10.1016/j.tcs.2018.10.009 2019-01 Article type Journal