×

用于分析计时游戏的高效实时算法。 (英语) 兹比尔1134.68382

Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653,66-80(2005)。
摘要:在本文中,我们提出了第一个基于时间博弈自动机的求解博弈的高效实时算法,该算法考虑了可达性和安全性
我们提出的算法是对十、刘S.斯莫尔卡[“最小不动点的简单线性时间算法”,Lect.Notes Compute.Sci.1443,53–66(1998)],用于有限状态系统的线性时间模型检查。在实际应用中,符号算法可能在探索整个状态空间之前很久就终止了。此外,通过使用所谓的区域作为底层数据结构,可以有效地执行算法的各个步骤。
提出了对基本符号算法的各种优化,以及获得时间最优获胜策略的方法(用于可达性博弈)。对该算法的实验实现进行了广泛评估,得到了非常令人鼓舞的性能结果。
关于整个系列,请参见[兹比尔1084.68002].

MSC公司:

65年第68季度 形式语言和自动机
第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
第68季度第60季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部