约翰·费恩利；马尔钦·尤季扬斯基 双时钟时间自动机中的可达性是PSPACE完成的。 （英文） Zbl 1345.68155号 Inf.计算。 243, 26-36 (2015). 摘要：最近，C.哈斯等【Lect.Notes Compute.Sci.7550，54–65（2012；Zbl 1328.68112号)]已经证明了双时钟时间自动机中的可达性是与有界单计数器自动机中可达性等价的对数空间。我们证明了有界单计数器自动机的可达性是PSPACE-完全的。 引用于18文件 MSC公司： 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 形式语言和自动机 关键词：时间自动机；计数器自动机；PSPACE完成 引文：Zbl 1328.68112号 PDF格式BibTeX公司 XML格式引用 \textit{J.Fearnley}和\textit{M.Jurdziánski}，Inf.Compute。243、26-36（2015年；Zbl 1345.68155） 全文： 内政部 arXiv公司 参考文献： [1] 阿鲁尔（Alur，R.）。；Dill，D.L.，《时间自动机理论》，Theor。计算。科学。，126, 2, 183-235 (1994) ·Zbl 0803.68071号 [2] Courcoubetis，C。；Yannakakis，M.，实时系统中的最小和最大延迟问题，形式方法系统。设计。，1, 4, 385-415 (1992) ·Zbl 0777.68045号 [3] 拉鲁西尼，F。；Markey，北卡罗来纳州。；Schnoebelen，P.，《一个或两个时钟的模型检查时间自动机》，（CONCUR.Proc.of CONCUR，Lect.Notes Compute Sci.，vol.3170（2004）），387-401·Zbl 1099.68057号 [4] Naves，G.，《Accessibilitédans les automates temporiséa deux horloges》（2006年），马斯特拉波特，MPRI，巴黎，法国 [5] Haase，C。；Ouaknine，J.等人。；Worrell，J.，《关于时间自动机和计数器自动机中可达性问题之间的关系》，（RP的RP.Proc.Proc.，Lect.Notes Compute.Sci.，vol.7550（2012）），54-65·兹伯利1328.68112 [6] 鲍耶，P。；Fahrenberg，美国。；Larsen，K.G。；Markey，北卡罗来纳州。；Srba，J.，无限在能量约束的加权时间自动机中运行，（FORMATS Proc.of FORMATS，Lect.Notes Compute.Sci.，vol.5215（2008）），33-47·Zbl 1171.68524号 [7] Haase，C。；Kreutzer，S。；Ouaknine，J.等人。；Worrell，J.，《简洁和参数单计数器自动机中的可达性》，（CONCUR.Proc.of CONCUR，Lect.Notes Compute.Sci.，vol.5710（2009）），369-383·Zbl 1254.68134号 [8] Travers，S.，《整数集上电路的隶属度问题的复杂性》，Theor。计算。科学。，369, 1-3, 211-229 (2006) ·Zbl 1110.68048号 [9] Goldreich，O.，《关于承诺的问题：一项调查》（《纪念西蒙·埃文的论文》（2006）），254-290 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。