概率计算树逻辑(probabilistic computation tree logic)
... PCTL&DP "On the Connections Between PCTL and Dynamic Programming", Federico Ramponi et al, HSCC'10 概率计算树逻辑(PCTL)是一种广泛的描述有 限状态Markov链时间行为的逻辑模式 这篇文章里，作者将PCTL应用于不可数状态 的Markov链，并且发现这与动态规...
基于54个网页-相关网页
概率计算树逻辑(probabilistic computation tree logic)
probabilistic computation tree logic
以上为机器翻译结果，长、整句建议使用 人工翻译 。