机译:具有Buechi目标的Markov决策过程的定性分析的符号算法
IST Austria, Klosterneuburg, Austria;
University of Vienna, Vienna, Austria;
Stanford University, Palo Alto, USA;
Carnegie Mellon University, Pittsburgh, USA;
Markov decision processes; Probabilistic verification; Biichi objectives; Symbolic algorithms;
机译:具有Bachi目标的Markov决策过程的经典算法的平均案例分析
机译:具有B?chi目标的经典马尔可夫决策过程算法的平均案例分析
机译:Markov决策过程的值迭代算法的K步前瞻分析
机译:具有Biichi目标的Markov决策过程定性分析的符号算法
机译:用于集中式和分散式部分可观察的马尔可夫决策过程的算法中的可伸缩性不断增强:在不确定的环境中进行有效的决策和协调。
机译:数据驱动决策支持的多目标马尔可夫决策过程
机译:马尔可夫决策定性分析的符号算法 B \“uchi目标的过程
机译:因子马尔可夫决策过程的符号启发式搜索