SEA-PARAM：在参数化 MDP 中探索调度器
计算机科学中的逻辑
2017-07-14 v1
摘要
我们研究参数化马尔可夫决策过程（PMDPs）及其与参数“无关”的可达概率。与现有的参数综合工作（在工具 PARAM 和 PRISM 中实现）不同，我们的主要重点是描述整个参数范围内不同类型的最优确定性无记忆调度器。我们实现了一个简单的原型工具 SEA-PARAM，其计算这些最优调度器并展示实验结果。
引用
@article{arxiv.1707.04122,
title = {SEA-PARAM: Exploring Schedulers in Parametric MDPs},
author = {Sebastian Arming and Ezio Bartocci and Ana Sokolova},
journal= {arXiv preprint arXiv:1707.04122},
year = {2017}
}
备注
In Proceedings QAPL 2017, arXiv:1707.03668