马尔可夫自动机的延迟弱等价关系
摘要：弱相似性是一种针对马尔可夫自动机的基于分布的等价性概念。作为最粗略的合理行为等价关系，它已经在马尔可夫自动机中获得了一定的流行度。本文研究了一个严格更粗略的概念：当限制在重要的调度器子类上时，晚弱相似性具有宝贵的性质：对于部分信息调度器，它蕴含了轨迹分布等价性；对于分布式调度器，它保持了组合性。因此，这两个调度器类的交集构成了一个更粗粒度且仍然合理的马尔可夫自动机的组合理论。
作者：Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang
论文ID：1202.4116
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-01-15