安德烈亚·图里尼;霍尔格·赫尔曼斯 概率自动机的保成本互模拟。 （英语） Zbl 1448.68353号 日志。方法计算。科学。 10，第4号，第11号论文，58页（2014）. 概要：概率自动机是并发概率系统的一个通用而优雅的模型。它们配备了支持抽象的组合理论，通过弱概率互模拟作为总结抽象效果的参考概念来实现。本文考虑带成本的概率自动机。它扩展了概率自动机中弱转移的概念，从而捕获了弱转移所产生的成本。这导致了弱概率双相似性的成本保持和成本边界变化，为此我们建立了关于并行合成的合成特性。此外，还提出了多项式时间决策算法，可有效地用于以组合方式计算马尔可夫决策过程的回报抽象。 引用于1文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 65年第68季度 形式语言和自动机 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：马尔可夫决策过程;形式验证;奖励;互模拟 软件：MRMC公司;棱镜;SIGREF公司 PDF格式BibTeX公司 XML格式引用 \textit｛A.Turrini｝和\textit｛H.Hermanns｝，日志。方法计算。科学。10，第4号，第11号论文，58页（2014；Zbl 1448.68353） 全文： 内政部