张丽君;霍尔格·赫尔曼斯;弗里德里希·艾森布兰德;大卫·詹森（David N.Jansen）。 流程更快：用于概率模拟的高效决策算法。 （英语） Zbl 1186.68326号 Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿4424155-169（2007）。 摘要：基于仿真关系的抽象技术已经成为避免臭名昭著的状态空间爆炸问题的重要而有效的证明技术。在马尔可夫链的背景下，人们提出了强模拟关系和弱模拟关系以及相应的决策算法，但目前尚不清楚它们是否能像非随机对应物那样有效地使用。本文提出了大幅改进的算法来确定一个（离散时间或连续时间）马尔可夫链是强模拟还是弱模拟另一个。关键创新是使用参数最大流技术来摊销计算。关于整个系列，请参见[Zbl 1116.68006号]. 引用于6文件 MSC公司： 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人，Lect。注释计算。科学。4424155-169（2007年；Zbl 1186.68326） 全文： DOI程序