迪帕克·D’Souza；拉杰·莫汉·马特普拉克尔 LTL的组合层次监控自动机构造。 （英语） Zbl 1362.03017号 Roychoudhury，Abhik（编辑）等人，《计算的理论方面——ICTAC 2012》。第九届国际学术讨论会，印度班加罗尔，2012年9月24日至27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32942-5/pbk）。计算机科学课堂讲稿7521，16-29（2012）。 摘要：本文给出了LTL公式监控自动机的合成（或归纳）结构。我们的建筑在精神上与Y.Kesten先生和A.普努利【Theor.Comput.Sci.331，第2–3号，397–428（2005；Zbl 1079.68059号)]. 我们引入了层次Büchi自动机的概念，并在这些自动机的框架中描述了我们的构造。我们给出了所有主要LTL算子（包括过去的算子）的详细构造，以及构造正确性的证明。关于整个系列，请参见[Zbl 1246.68055号]. MSC公司： 03B44号 时间逻辑 05年3月 与逻辑问题相关的自动机和形式文法 引文：Zbl 1079.68059号 PDF格式BibTeX公司 XML格式引用 \textit｛D.D’Souza｝和\textit｛R.M.Matteplackel｝，Lect。注释计算。科学。7521，16-29（2012；Zbl 1362.03017） 全文： DOI程序