托马斯·布里海耶;托马斯·亨辛格（Thomas A.Henzinger）。;Vinayak S.普拉布。;Jean-François拉斯金 限时游戏中的最短时间可达性。 （英语） 兹比尔1171.68526 Arge，Lars（编辑）等人，《自动化，语言和编程》。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会，ICALP 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73419-2/pbk）。计算机科学课堂讲稿4596825-837（2007）。 摘要：我们考虑并发两层时间自动机博弈结构中的最小时间可达性问题。我们展示了如何计算玩家到达目标位置所需的最短时间，以对抗对手的所有可能选择。我们对游戏结构没有任何语法限制，也不要求任何玩家保证时间差异。我们只要求球员使用不会阻碍时间的接受策略。最小时间部分是使用不动点表达式计算的，我们证明可以在时间自动机的时钟-区域等价关系的非平凡扩展的等价类上进行计算。关于整个系列，请参见[Zbl 1119.68002号]. 引用于9文件 MSC公司： 65年第68季度 形式语言和自动机 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 91A80型 博弈论的应用 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，Lect。注释计算。科学。4596、825--837（2007年；Zbl 1171.68526） 全文： 内政部