10.3969/j.issn.2095-2783.2017.17.007
条件概率公式在一类马尔科夫报酬模型上的计算
在马尔科夫报酬模型上,把条件概率算子引入连续随机报酬逻辑中,以此表达更为丰富的性质.在harmony假设下,路径的报酬限制可以转化成时间限制,从而将连续随机报酬逻辑中的路径公式转化为连续随机逻辑中的路径公式.再由已知的参数化乘积连续时间马尔科夫链的方法,建立起高效的检测算法.
马尔科夫报酬模型、连续随机报酬逻辑、条件概率
12
O213(概率论与数理统计)
国家自然科学基金资助项目11401218;高等学校博士学科点专项科研基金资助项目20130076120010
2018-01-04（万方平台首次上网日期，不代表论文的发表时间）
共8页
1959-1965,1987
