Bisimulations; Logical; Characterizations;
机译:连续随机逻辑表征了连续时间马尔可夫过程的双仿真
机译:连续时间马尔可夫过程偏差矩阵的一种近似方法及其在马尔可夫决策理论中的应用
机译:连续马尔可夫决策过程的双仿真度量
机译:连续时间马尔可夫决策过程的双仿真和逻辑表征
机译:生成树在连续时间马尔可夫过程中的应用,重点是损失系统。
机译:使用基于模型的建议对离散状态空间连续时间马尔可夫过程进行快速参数推断
机译:连续时间马尔可夫决策过程的双模拟和逻辑刻画