标记Markov过程的基于分布的双模拟

@第{Yang2017DistributionBasedBF条，title={标记马尔可夫过程的基于分布的互模拟}，author={杨鹏飞（Pengfei Yang）和大卫·杨森（David N.Jansen）以及张丽君（Lijun Zhang）}，日志={ArXiv}，年份={2017年}，体积={abs/1706.10049}，url={https://api.semanticscholar.org/CorpusID:11478163}}
提出了一种基于（子）分布的标记马尔可夫过程互模拟，并将其与早期的状态和事件互模拟定义进行了比较。
[PDF]语义阅读器
5引文
背景引文
1

询问这篇论文
贝塔
AI供电

我们的系统试图限制本文中找到的信息。结果质量可能有所不同。了解更多信息关于我们如何产生这些答案。

5引文

具有不确定性和概率的系统的迹理论

本文展示了如何通过实例化称为广义幂集结构的组合结构来恢复非确定性和概率选择相结合的系统的跟踪语义。

具有不确定性、概率和终止性系统的迹理论

本文展示了如何通过实例化称为广义幂集结构的组合结构来恢复非确定性和概率选择相结合的系统的跟踪语义。

基于确定性的非确定性概率自动机的迹语义

它展示了如何通过实例化称为广义幂集构造的代数构造来恢复结合了不确定性和概率选择的自动机的跟踪语义。

非确定概率转移系统分支度量的逻辑特征

现实调度器的概率互模拟

因此，这两个调度器类的交集跨越了一个更粗糙、更合理的行为语义组合理论，该理论在调度器的实际子类上下文中仍然具有宝贵的属性。

30参考文献

标记Markov过程互模拟的逻辑特征

一种用于确定有限状态系统的二相似性的算法，该算法构造了一个见证二模拟失败的公式，这是马尔可夫过程概率二模拟的逻辑特征。

探索概率互模拟，第一部分

本文认为，在概率标记转移系统pLTS中，将这种过程解释为状态上的分布是很自然的，并且证明了一种新形式的分布之间的互模拟等价对于这种上下文等价来说是合理和完整的。

通过概率测试进行互模拟

互模拟逻辑特征的不可证明性

概率转移系统的互模拟：一种协代数方法

非确定性标记马尔可夫过程的互模拟†

我们将标记马尔可夫过程理论扩展到包括内部不确定性，这是进一步发展抽象过程理论的基本概念…

标记马尔可夫过程的互模拟

主要结果是，波兰空间上马尔可夫过程的互模拟概念扩展了离散系统的Larsen-Skou定义，实际上是一个等价关系。

概率互模拟：自然分布

本文给出了概率系统强互模拟的一个自然定义，与此观点相对应，该定义将概率分布视为一级公民，并解决了一个长期存在的关于无记忆连续时间用完全记忆连续时间表示的开放问题。

概率系统的互模拟与同余

标记马尔可夫过程的度量