... PCTL&DP "On the Connections Between PCTL and Dynamic Programming", Federico Ramponi et al, HSCC'10 概率计算树逻辑(PCTL)是一种广泛的描述有 限状态Markov链时间行为的逻辑模式 这篇文章里，作者将PCTL应用于不可数状态 的Markov链，并且发现这与动态规...
基于36个网页-相关网页
... 计算树逻辑 Computation Tree Logic 概率计算树逻辑 Probabilistic Computation Tree Logic 运算树逻辑 Computation tree logic ...
基于1个网页-相关网页
和概率计算树逻辑 Probabilistic Computation Tree Logic
应用推荐