具有MDP的字符串图的构成性概率模型检验
摘要：使用类别性图形语言字符串图来组合模型检验算法的马尔可夫决策过程。算法计算最优期望收益。通过类别理论对算法进行了理论发展，而我们称之为预期收益分解等式的内容则起到了关键的启用作用。实验评估证明了其性能优势。
作者：Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
论文ID：2307.08765
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-19