Qualitative reachability for open interval Markov chains

Interval Markov chains extend classical Markov chains with the possibility to describe transition probabilities using intervals, rather than exact values. While the standard formulation of interval Markov chains features closed intervals, previous work has considered open interval Markov chains, in...

وصف كامل

التفاصيل البيبلوغرافية
الحاوية / القاعدة:PeerJ Computer Science
المؤلف الرئيسي: Jeremy Sproston
التنسيق: مقال
اللغة:الإنجليزية
منشور في: PeerJ Inc. 2023-08-01
الموضوعات:
الوصول للمادة أونلاين:https://peerj.com/articles/cs-1489.pdf