文件大小：0.67 MB 14页
使度量时态逻辑合理
作者
-
部分： 体积： 第42届计算机科学数学基础国际研讨会（MFCS 2017）
系列： 莱布尼茨国际信息学论文集
会议： 计算机科学数学基础（MFCS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2017-12-01
文件
文件标识符
引用为 获取BibTex
摘要
关键词
度量时态逻辑 定时自动机 正则表达式 公平性 表达能力
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
R.Alur、T.Feder和T.Henzinger。 放松守时的好处。 美国医学会期刊，43（1）：116-1461996。 
-
Rajeev Alur和Thomas A.Henzinger。 实时逻辑：复杂性和表达性。 信息计算。， 104（1）：35-771993年。 网址： http://dx.doi.org/10.1006/inco.1993.1025 . -
尤金·阿萨林（Eugene Asarin）、保罗·卡斯皮（Paul Caspi）和奥德·马勒（Oded Maler）。 定时正则表达式。 美国医学杂志，49（2）：172-2062002。 网址： http://dx.doi.org/10.1145/506147.506151 . -
Augustin Baziramwabo、Pierre McKenzie和Denis Thérien。 模块化时序逻辑。 1999年7月2日至5日，意大利特伦托，第14届IEEE计算机科学逻辑年会，第344-351页，1999年。 网址： http://dx.doi.org/10.1109/LICS.1999.782629 . -
Patricia Bouyer、Fabrice Chevalier和Nicolas Markey。 关于TPTL和MTL的表达能力。 《FSTTCS 2005：软件技术和理论计算机科学基础》，第25届国际会议，印度海得拉巴，2005年12月15日至18日，会议记录，第432-443页，2005年。 网址： http://dx.doi.org/10.1007/11590156_35 . -
辛迪·艾斯纳和达娜·菲斯曼。 PSL实用介绍。 斯普林格，2006年。
-
IEEE P1850-PSL属性规范语言标准，2005年。
-
Jesper G.Henriksen和P.S.Thiagarajan。 动态线性时间时序逻辑。 Ann.纯粹应用。 逻辑，96（1-3）：187-2071999。 网址： http://dx.doi.org/10.1016/S0168-0072 (98)00039-6 . -
菲利普·赫尔曼。 重命名在定时正则表达式中是必要的。 《软件技术和理论计算机科学基础》，第19届会议，印度钦奈，1999年12月13日至15日，《会议记录》，第47-59页，1999年。 网址： http://dx.doi.org/10.1007/3-540-46691-6_4 . -
P.亨特。 度量时态逻辑何时完成？ CSL，第380-394页，2013年。
-
S.N.Krishna K.Madnani和P.K.Pandya。 部分准时度量时序逻辑是可判定的。 《时代》杂志，第174-183页，2014年。
-
Shankra Narayanan Krishna、Khushraj Madnani和Paritosh K.Pandya。 带计数的度量时态逻辑。 《软件科学和计算结构基础——2016年第19届国际会议，FOSSACS，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2016，荷兰埃因霍温，2016年4月2-8日，会议记录，第335-352页，2016。
-
F.Laroussinie、A.Meyer和E.Petonnet。 计数ltl。 《时代》杂志，第51-58页，2010年。
-
K.Lodaya和A.V.Sreejith。 Ltl可以更简洁。 在ATVA，第245-258页，2010年。
-
J.Ouaknine和J.Worrell。 关于度量时态逻辑的可判定性。 在LICS中，第188-197页，2005年。
-
A.拉比诺维奇。 具有计数和pnueli形式的度量时态逻辑的复杂性。 格式，第93-108页，2008年。