具有LimSup和LimInf目标的概率系统
计算机科学与博弈论
2008-09-10 v1 计算机科学中的逻辑
摘要
我们给出了计算具有limsup和liminf目标的马尔可夫决策过程(MDP)值的多项式时间算法。每个状态被赋予一个实值奖励，MDP中一条无限路径的值是该路径上所有奖励的limsup(或liminf)。MDP的值是通过解决MDP的决策所能实现的无限路径的最大期望值。利用我们在MDP上的结果，我们证明了具有limsup和liminf目标的回合制随机博弈可以在NP ∩ coNP中求解。
引用
@article{arxiv.0809.1465,
title = {Probabilistic Systems with LimSup and LimInf Objectives},
author = {Krishnendu Chatterjee and Thomas A. Henzinger},
journal= {arXiv preprint arXiv:0809.1465},
year = {2008}
}
备注
The paper will appear in ILC proceedings