Neuhäußer，Martin R。;Joost-Pieter卡托恩 连续时间Markov决策过程的互模拟和逻辑保持。 （英语） 兹比尔1151.68549 Caires，Luís（编辑）等人，CONCUR 2007–并发理论。第18届国际会议，2007年CONCUR，葡萄牙里斯本，2007年9月3-8日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74406-1/pbk）。计算机科学课堂讲稿4703，412-427（2007）。 摘要：本文介绍了连续时间马尔可夫决策过程（CTMDP）的强互模拟，这是一种允许在指数分布之间进行非确定性选择的随机模型，并表明互模拟保持了CSL的有效性。为此，我们在CTMDP上解释了CSL的语义——连续时间马尔可夫链的CSL的随机变体——并展示了其测度论的稳健性。本文面临的主要挑战是逻辑保存的证明，这在很大程度上是基于测度理论的。关于整个系列，请参见[Zbl 1144.68005号]. 引用于9文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 90立方厘米 马尔可夫和半马尔可夫决策过程 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Neuhäußer}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。4703412--427（2007；Zbl 1151.68549） 全文： 内政部 链接