文件大小：344 kB 1页
线性时间逻辑：从无限到有限视界（受邀演讲）
作者
莫舍·瓦尔迪 
-
部分： 体积： 第29届时间表征与推理国际研讨会（TIME 2022）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 时间表征与推理国际研讨会（TIME） 许可证： 
Creative Commons Attribution 4.0国际许可 出版日期：2022-10-29
文件
文件标识符
作者详细信息
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论→模态和时序逻辑
关键词
时序逻辑
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
G.De Giacomo和M.Y.Vardi。 有限迹上的线性时序逻辑和线性动态逻辑。 程序中。 第23届国际人工智能联合会议，第854-860页，2013年。 
-
G.De Giacomo和M.Y.Vardi。 有限迹上LTL和LDL的合成。 程序中。 第24届国际人工智能联合会议，第1558-1564页。 AAAI出版社，2015年。
-
G.De Giacomo和M.Y.Vardi。 部分可观测性下的LTLf和ldlf综合。 程序中。 第25届国际人工智能联合会议，第1044-1050页。 IJCAI/AAAI出版社，2016年。
-
G.De Giacomo、A.Di Stasio、L.M.Tabajara、M.Y.Vardi和S.Zhu。 时间合成中的有限跟踪和广义反应性规范。 程序中。 第30届国际人工智能联合会议，1852-1858页。 ijcai.org，2021年。
-
S.Xiao、J.Li、S.Zhu、Y.Shi、G.Pu和M.Y.Vardi。 有限迹上LTL的实时综合。 第35届AAAI人工智能大会，第6530-6537页。 AAAI出版社，2021年。
-
S.Zhu、L.M.Tabajara、J.Li、G.Pu和M.Y.Vardi。 安全LTL合成的符号方法。 过程中。。 第13届国际海法硬件和软件验证大会：验证和测试，计算机科学讲义第10629卷，第147-162页。 施普林格，2017年。
-
S.Zhu、L.M.Tabajara、J.Li、G.Pu和M.Y.Vardi。 符号LTLf合成。 程序中。 第26届国际人工智能联合会议，第1362-1369页。 ijcai.org，2017年。