条件概率公式在一类马尔科夫报酬模型上的计算

在马尔科夫报酬模型上,把条件概率算子引入连续随机报酬逻辑中,以此表达更为丰富的性质。在harmony假设下,路径的报酬限制可以转化成时间限制,从而将连续随机报酬逻辑中的路径公式转化为连续随机逻辑中的路径公式。再由已知的参数化乘积连续时间马尔科夫链的方法,建立起高效的检测算法。