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