奥德·马勒;德扬·尼科维奇;阿米尔·普努利 从MITL到时间自动机。 (英文) Zbl 1141.68436号 Asarin,Eugene(编辑)等人,《时间系统的形式化建模和分析》。第四届国际会议,FORMATS 2006,巴黎,法国,2006年9月25-27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-45026-9/pbk)。计算机科学课堂讲稿4202,274-289(2006)。 摘要:我们展示了如何将实时时序逻辑MITL中编写的公式转换为时间自动机,以识别其满意的模型。这种组合结构比以前已知的要简单得多,并且易于实现。关于整个系列,请参见[Zbl 1137.68001号]. 引用于1审查引用于18文件 MSC公司: 65年第68季度 形式语言和自动机 03B44号 时间逻辑 60年第68季度 规范和验证(程序逻辑、模型检查等) PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}等人,Lect。注释计算。科学。4202、274--289(2006年;Zbl 1141.68436) 全文: 内政部