|
|||||
|
|
| 条件概率公式在一类马尔科夫报酬模型上的计算 | |
| 作者单位： | ;1.华东师范大学计算机科学与软件工程学院 |
| 摘 要： | 在马尔科夫报酬模型上,把条件概率算子引入连续随机报酬逻辑中,以此表达更为丰富的性质。在harmony假设下,路径的报酬限制可以转化成时间限制,从而将连续随机报酬逻辑中的路径公式转化为连续随机逻辑中的路径公式。再由已知的参数化乘积连续时间马尔科夫链的方法,建立起高效的检测算法。 |
| 关 键 词： | 马尔科夫报酬模型 连续随机报酬逻辑 条件概率 |
Computing conditional probability formulas over a class of Markov reward models |
|
| Abstract: | |
| Keywords: | |