A uniformization-based algorithm for continuous-time stochastic games model checking
ارائه الگوريتمي مبتي بر يكنواخت سازي براي وارسي مدل بازيهاي تصادفي زمان پيوسته
Article type
Journal
A uniformization-based algorithm for continuous-time stochastic games model checking
×
https://people.iut.ac.ir/en/content/1611023?view=qrcode