×

找到21个文档(结果1–21)

无限字上的参数区间时序逻辑。 (英语) Zbl 07802074号

Ganty,Pierre(编辑)等人,第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2022,西班牙马德里,2022年9月21日至23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)37097-113(2022)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

关于前缀和中缀的时态逻辑。 (英语) Zbl 07559392号

Esparza,Javier(ed.)等人,第45届计算机科学数学基础国际研讨会,MFCS 2020,2020年8月25日至26日,捷克共和国布拉格。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170,第21条,第14页(2020年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

密集时间域上基于时间线的规划的复杂性:探索中间地带。 (英语) Zbl 1528.68358号

Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)第277191-205页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

关于用正则表达式对区间时间逻辑HS的句法最大片段进行模型检查的复杂性。 (英语) Zbl 1483.68186号

Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256,31-45(2017)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

模型检查艾伦关系的逻辑遇见由启动是\(\mathbf{P}^{\mathbf{NP}}\)-完成的。 (英语) Zbl 1478.68148号

Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22676-90(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

间隔时间逻辑模型检查:好的和坏的HS片段之间的边界。 (英语) Zbl 1475.68177号

Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9706, 389-405 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

区间时序逻辑模型检验中的循环交替约束。 (英语) Zbl 1345.68221号

Crescenzi,Pierluigi(ed.)等人,《2015年ICTCS会议录》,第16届意大利理论计算机科学会议,意大利费伦泽,2015年9月9日至11日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记322,211-226,仅电子版(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段