Arpit Sharma公司 连续时间Markov决策过程的迹关系和逻辑保持。 （英语） Zbl 1444.68122号 Hung，Dang Van（编辑）等人，《计算的理论方面——2017年ICTAC》。第十四届国际学术讨论会，越南河内，2017年10月23日至27日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10580, 192-209 (2017). 摘要：等价关系广泛用于比较随机系统的行为。本文介绍了连续时间马尔可夫决策过程（CTMDP）的迹等价的几种变体。这些轨迹等价性是通过CTMDP黑盒模型的按钮推送实验获得的。对于每一类CTMDP调度器，都引入了相应的跟踪等价变体。我们研究了这些轨迹等效性之间的关系，并将它们与CTMDP的互模拟进行了比较。最后，我们证明了使用确定性时间自动机（DTA）规范和度量时态逻辑（MTL）公式指定的属性在某些跟踪等价下保持不变。有关整个系列，请参见[Zbl 1372.68010号]. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：调度程序；迹等效性；互模拟；时间自动机；时序逻辑 PDF格式BibTeX公司 XML格式引用 \textit{A.Sharma}，莱克特。票据计算。科学。10580、192--209（2017；Zbl 1444.68122） 全文： 内政部