机译:改进交互式马尔可夫链中的时间限制可达性计算
Saarland University, Department of Computer Science, Campus Saarbruecken, D-66123 Germany;
Saarland University, Department of Computer Science, Campus Saarbruecken, D-66123 Germany;
Interactive Markov chains; Time bounded reachability; Discretisation; Root finding;
机译:统一连续时间马尔可夫决策过程中有界可及性概率的高效计算
机译:不精确的连续时间马尔可夫链:保证误差界的高效计算方法
机译:不精确的连续时间马尔可夫链:保证误差界的高效计算方法
机译:改进交互式马尔可夫链中的时间限制可达性计算
机译:使用随机时间序列和马尔可夫链预测公交车到站时间。
机译:使用简单的重新参数化来提高多层模型的马尔可夫链蒙特卡罗估计的效率并将其应用于离散时间生存模型
机译:改进交互式马尔可夫链中的时间限制可达性计算