区间马尔可夫决策过程的组合推理
计算机科学中的逻辑
2016-08-02 v1
摘要
Puggelli等人最近研究了具有凸不确定性的马尔可夫决策过程（MDP）的概率CTL性质模型检验。此类模型检验算法通常面临状态空间爆炸问题。在本文中，我们探讨概率互模拟，以缩减此类MDP的规模，同时保留其满足的概率CTL性质。特别地，我们讨论了构建并行组合操作以在运行时组合区间MDP组件的关键要素。更确切地说，我们研究了如何定义区间MDP的并行组合算子，以达到同余闭包。结果表明，区间MDP的概率互模拟在并行性的两个方面，即同步积和交错，下是同余的。
引用
@article{arxiv.1607.08484,
title = {Compositional Reasoning for Interval Markov Decision Processes},
author = {Vahid Hashemi and Holger Hermanns and Andrea Turrini},
journal= {arXiv preprint arXiv:1607.08484},
year = {2016}
}