拉杰夫·阿鲁尔;米哈伊尔·伯纳德斯基;马杜苏丹，P。 加权时间游戏的最佳可达性。 （英语） Zbl 1098.68061号 Díaz，Josep（编辑）等人，《自动化、语言和编程》。2004年7月12日至16日，芬兰图尔库，第31届国际学术讨论会，ICALP 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22849-7/pbk）。计算机科学讲义3142122-133（2004）。 摘要：加权时间自动机是用位置和转换成本注释的时间自动机。这些自动机的最佳游戏可读性问题是找到提供输入的最佳成本策略，以确保在指定的迭代次数内目标集的可达性。这个问题唯一已知的复杂度界是一个双指数上界。我们建立了一个单指数上界，并证明了在一个区域内存在具有指数多个状态的自动机，并且具有两个不同的最优策略。关于整个系列，请参见[Zbl 1056.68007号]. 引用于17文件 MSC公司： 65年第68季度 形式语言和自动机 65年第68季度 算法和问题复杂性分析 91A55型 计时游戏 PDF格式BibTeX公司 XML格式引用 \textit｛R.Alur｝等人，Lect。注释计算。科学。3142122--133（2004年；Zbl 1098.68061） 全文： 内政部