随机博弈有界值迭代中的最宽路径与全局传播
计算机科学中的逻辑
2020-09-21 v2
摘要
求解具有可达性目标的随机博弈是一个基本问题，尤其在定量验证与综合中。为此，有界值迭代（BVI）作为一种高效的迭代方法受到关注。然而，BVI 的性能常受限于为确保收敛而需进行的代价高昂的末端分量（EC）计算。我们的贡献是一种新颖的 BVI 算法，该算法除进行 BVI 典型的 Bellman 更新的局部传播外，还进行不受 EC 阻碍的上界全局传播。为以计算可处理的方式进行全局传播，我们构造一个加权图并求解其中的最宽路径问题。实验表明，该算法相对于依赖 EC 计算的先前 BVI 算法具有性能优势。
引用
@article{arxiv.2007.07421,
title = {Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games},
author = {Kittiphon Phalakarn and Toru Takisaka and Thomas Haas and Ichiro Hasuo},
journal= {arXiv preprint arXiv:2007.07421},
year = {2020}
}
备注
v2: an URL to the implementation is added