《principles of model checking》中的離散時間馬爾科夫鏈

《principles of model checking》中的離散時間馬爾科夫鏈   說明：此文爲我自學《principles of model checking》第十章內容的筆記。   一、離散時間馬爾可夫鏈的定義，目標問題和一些輔助定義。 二、將遷移系統轉化爲矩陣表達及一簡例 三、列出方程X=AX+B 四、對於解該方程的一點個人想法 五、作者給出的解法     一、離散時間馬爾可夫鏈的定義，

>>阅读原文<<