Dickhöfer，马丁;托马斯·威尔克 时间交替树自动机：TCTL模型检查问题的自动机理论解决方案。 （英语） 兹伯利0939.03041 Wiedermann，Jiří（编辑）等人，《自动化、语言和编程》。第26届国际学术讨论会，ICALP’99。1999年7月11日至15日，捷克共和国布拉格。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1644, 281-290 (1999). 摘要：为了解决时间计算树逻辑（TCTL）的模型检查问题，我们引入了时间交替树自动机作为时间自动机的自然扩展。这解决了亨廷格、库普夫曼和瓦尔迪提出的问题。关于整个系列，请参见[Zbl 0917.00014号]. 引用于5文件 MSC公司： 05年3月 与逻辑问题相关的自动机和形式文法 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：时间交替树自动机;模型检查;定时计算树逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.Dickhöfer}和\textit{T.Wilke}，莱克特。注释计算。科学。1644、281--290（1999；Zbl 0939.03041）