Gutsfeld、Jens Oliver;马库斯·穆勒·奥尔姆;克里斯蒂安·迪利茨 带有语言参数的时序逻辑。 (英语) Zbl 07798814号 Inf.计算。 295,A部分,文章ID 105087,22 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.O.Gutsfeld}等人,《信息计算》。295,A部分,文章ID 105087,22 p.(2023;Zbl 07798814) 全文: DOI程序
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 Pspace(Pspace)-子区间和后缀的时间逻辑的完整性。 (英语) Zbl 07742414号 Inf.计算。 294,文章ID 105083,20 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。294,文章ID 105083,20 p.(2023;Zbl 07742414) 全文: DOI程序
罗布·范格拉贝克 在具有超时的进程代数中建模互斥。 (英语) 兹伯利07742410 Inf.计算。 294,文章ID 105079,36 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},Inf.计算。294,文章ID 105079,第36页(2023;Zbl 07742410) 全文: DOI程序 arXiv公司
贝拉德,贝特里奇;贝内迪克特·博利格;帕特里夏·鲍耶;马蒂亚斯·福格尔;纳塔利·斯兹纳杰德 存在动态链接的合成。 (英语) Zbl 07629163号 Inf.计算。 289,B部分,文章ID 104856,28 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《信息计算》。289,B部分,文章ID 104856,28 p.(2022;Zbl 07629163) 全文: DOI程序
亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·马格纳戈 长期贷款无限状态系统中的证伪。 (英语) Zbl 07629158号 Inf.计算。 289,A部分,文章ID 104977,43 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,信息计算。289,A部分,文章ID 104977,43 p.(2022;Zbl 07629158) 全文: DOI程序
阿尔贝托·卡萨格兰德;Thao Dang先生;卢卡·多里戈;托马索·德罗西;卡拉广场;埃莉诺拉·皮皮亚 多项式动力系统的参数综合。 (英语) Zbl 07629135号 Inf.计算。 289,A部分,文章ID 104941,30 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Casagrande}等人,《信息计算》。289,A部分,文章ID 104941,30 p.(2022;Zbl 07629135) 全文: DOI程序
帕里托什·K·潘迪亚。;阿莫尔·瓦坎卡尔 运行时强制屏蔽的规范和最佳反应合成。 (英语) Zbl 1504.68131号 Inf.计算。 285,B部分,文章ID 104865,18 p.(2022).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Pandya}和\textit{A.Wakankar},Inf.Compute。285,B部分,文章ID 104865,18 p.(2022;Zbl 1504.68131) 全文: DOI程序 arXiv公司
尼尔,丹尼尔;亚历山大·韦内特;马丁·齐默尔曼 健壮、富有表现力和定量的线性时序逻辑:免费选择任意两种。 (英语) Zbl 07538307号 Inf.计算。 285,B部分,文章ID 104810,23 p.(2022).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人,《信息计算》。285,B部分,文章ID 104810,23 p.(2022;Zbl 07538307) 全文: DOI程序 链接
劳拉·博泽利;阿尼埃洛·穆拉诺;阿德里亚诺·佩隆 无上下文时间形式:鲁棒自动机和线性时序逻辑。 (英语) Zbl 1528.68213号 Inf.计算。 283,文章ID 104673,第30页(2022).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。283,文章ID 104673,30 p.(2022;Zbl 1528.68213) 全文: DOI程序 链接
弗洛里安·布鲁斯;马丁·兰格 带有递归的时态逻辑。 (英语) Zbl 1522.03045号 Inf.计算。 281,文章ID 104804,18 p.(2021).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.布鲁斯}和\textit{M.兰格},Inf.计算。281,文章ID 104804,第18页(2021;Zbl 1522.03045) 全文: DOI程序
Michael Sioutis先生;沃尔特,迪德里奇 通过计算局部模型实现定性约束推理中的动态分支。 (英语) Zbl 1518.68352号 Inf.计算。 281,文章ID 104787,15 p.(2021).MSC公司:68T20型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Sioutis}和\textit{D.Wolter},Inf.Comput。281,文章ID 104787,15 p.(2021;Zbl 1518.68352) 全文: DOI程序
阿卡什侯赛因;弗朗索瓦·拉鲁西尼 \(mathsf{QCTL}\)使用\(mathsf{QBF}\)解算器进行模型检查。 (英语) Zbl 1518.68208号 Inf.计算。 280,文章ID 104642,19 p.(2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.侯赛因}和\textit{F.Laroussinie},Inf.Compute。280,文章ID 104642,19 p.(2021;Zbl 1518.68208) 全文: DOI程序 arXiv公司
佩拉斯、昆廷;朱利安·布鲁内尔;戴维·谢穆伊尔 许多一阶线性时序逻辑的一个可判定且可表达的片段。 (英语) Zbl 1518.68214号 Inf.计算。 280,文章ID 104641,第20页(2021).MSC公司:60年第68季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Peyras}等人,《信息计算》。280,文章ID 104641,20 p.(2021;Zbl 1518.68214) 全文: DOI程序 哈尔
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 模型检查区间时序逻辑统一算法的复杂性分析。 (英语) Zbl 1518.68204号 Inf.计算。 280,文章ID 104640,22 p.(2021).MSC公司:60年第68季度 03B44号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。280,文章ID 104640,22 p.(2021;Zbl 1518.68204) 全文: DOI程序 链接
何希明;周若玉;蒂莫西·琼斯。 时间超属性。 (英语) Zbl 1518.68207号 Inf.计算。 280,文章ID 104639,18 p.(2021).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人,《信息计算》。280,文章ID 104639,第18页(2021;Zbl 1518.68207) 全文: DOI程序 链接
Michael Sioutis先生;阿纳斯塔西亚·帕帕里佐;汤米·詹胡宁 定性空间和时间推理的邻域单样式一致性。 (英语) Zbl 1518.68351号 Inf.计算。 280,文章ID 104638,17 p.(2021).MSC公司:68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sioutis}等人,《信息计算》。280,文章ID 104638,17 p.(2021;Zbl 1518.68351) 全文: DOI程序 链接
阿纳州阿尔梅达博尔赫斯;科内杰罗·罗德里格斯(Conejero Rodríguez)、胡安·何塞(Juan José);大卫·费尔南德斯·杜克;米雷亚González Bedmar;Joost J.乔斯特恩。 驾驶或不驾驶:对欧洲运输法规的逻辑和计算分析。 (英语) 兹比尔1522.03100 Inf.计算。 280,文章ID 104636,15 p.(2021).MSC公司:03B80号 03B44号 03B70号 2017年第68季度 90B06型 PDF格式BibTeX公司 XML格式引用 \textit{A.de Almeida Borges}等人,《信息计算》。280,文章ID 104636,15 p.(2021;Zbl 1522.03100) 全文: DOI程序
卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;雷诺兹,马克 TPTL和\(\mathrm{TPTL_b+Past}\)的单程和树形表格系统。 (英语) Zbl 07354965号 Inf.计算。 278,文章ID 104599,25 p.(2021).MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Geatti}等人,《信息计算》。278,文章ID 104599,第25页(2021;Zbl 07354965) 全文: DOI程序
朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇 有限轨迹上LDL目标的多人游戏。 (英语) Zbl 1497.68305号 Inf.计算。 276,文章ID 104555,17 p.(2021).MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 第68页第42页 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。276,文章ID 104555,17 p.(2021;Zbl 1497.68305) 全文: DOI程序 arXiv公司
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 模型检查应用程序的\(\mathrm{ATL}^+\)的博弈论语义。 (英语) Zbl 1497.68303号 Inf.计算。 276,文章ID 104554,24 p.(2021).MSC公司:60年第68季度 03B44号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人,《信息计算》。276,文章ID 104554,24 p.(2021;Zbl 1497.68303) 全文: DOI程序 arXiv公司 链接
弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫,詹罗加;迈克尔·克纳皮克 通过应用三选票投票协议验证战略能力的相互模拟。 (英语) Zbl 1497.68287号 Inf.计算。 276,文章ID 104552,25 p.(2021).MSC公司:60年第68季度 03B44号 第68页第42页 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,《信息计算》。276,文章ID 104552,25 p.(2021;Zbl 1497.68287) 全文: DOI程序 arXiv公司 链接
拜尔,克里斯特尔;克里斯蒂安·亨塞尔;Lisa Hutschenreiter;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;约阿希姆·克莱因 参数马尔可夫链:PCTL复杂性和无分数高斯消去。 (英语) Zbl 1443.68101号 Inf.计算。 272,文章ID 104504,26 p.(2020).MSC公司:60年第68季度 03B44号 60J10型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,信息计算。272,文章ID 104504,26 p.(2020;Zbl 1443.68101) 全文: DOI程序 arXiv公司
亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·马格纳戈;马可·罗维里;斯特凡诺·托内塔 基于SMT的具有事件冻结函数和度量算子的一阶LTL的可满足性。 (英语) Zbl 1443.68104号 Inf.计算。 272,文章ID 104502,17 p.(2020).MSC公司:60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,信息计算。272,文章ID 104502,17 p.(2020;Zbl 1443.68104) 全文: DOI程序
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 使用正则表达式对区间时序逻辑进行模型检查。 (英语) Zbl 1443.68102号 Inf.计算。 272,文章ID 104498,33 p.(2020).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。272,文章ID 104498,33页(2020;兹bl 1443.68102) 全文: DOI程序
John McCabe-Dansted先生;克莱尔·狄克逊;法语,蒂姆;雷诺兹,马克 鲁棒性分支时间逻辑的子逻辑。 (英语) Zbl 1436.03125号 Inf.计算。 266, 126-160 (2019).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.McCabe-Dansted}等人,《信息计算》。266、126——160(2019年;兹bl 1436.03125) 全文: DOI程序
D.布雷索林。;黛拉·莫妮卡,D。;蒙塔纳里,A。;萨拉,P。;Sciavicco,G。 艾伦关系的模态逻辑片段对理性的决定性和复杂性。 (英语) Zbl 1436.03120号 Inf.计算。 266, 97-125 (2019).MSC公司:03B44号 03B25号 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,《信息计算》。266、97-125(2019年;Zbl 1436.03120) 全文: DOI程序 链接
瑞典雅各布斯;Leander Tentrup公司;马丁·齐默尔曼 参数化时序逻辑的分布式综合。 (英语) 兹比尔1400.68124 Inf.计算。 262,第2部分,311-328(2018).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Jacobs}等人,《信息计算》。262,第2部分,311--328(2018;Zbl 1400.68124) 全文: DOI程序 arXiv公司
盖尔·方丹;法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;洛雷达纳·索伦蒂诺 计算树逻辑中的循环检测。 (英语) 兹比尔1400.68123 Inf.计算。 262,第2部分,265-279(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine}等人,《信息计算》。262,第2部分,265--279(2018;Zbl 1400.68123) 全文: DOI程序 arXiv公司
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 在多项式时间层次的低层次上对区间时序逻辑HS片段进行模型检查。 (英语) Zbl 1400.68121号 Inf.计算。 262,第2部分,241-264(2018).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。262,第2部分,241--264(2018;Zbl 1400.68121) 全文: DOI程序 链接
本杰明·阿米诺夫;阿尼埃洛·穆拉诺;萨沙·鲁宾 使用分级路径模式的CTL(^\ast)。 (英语) Zbl 1407.03028号 Inf.计算。 262,第1部分,1-21(2018). 审核人:马丁·兰格(卡塞尔) MSC公司:03B44号 03B25号 05年3月 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,信息计算。262,第1部分,1--21(2018;Zbl 1407.03028) 全文: DOI程序 链接
朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇 反应模块游戏中的信息不完整。 (英语) Zbl 1395.68188号 Inf.计算。 261,第4部分,650-675(2018).MSC公司:60年第68季度 第68页第42页 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。261,第4部分,650--675(2018;Zbl 1395.68188) 全文: DOI程序 链接
阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 基于轨迹表示的Halpern和Shoham区间时序逻辑片段的模型检查。 (英语) Zbl 1390.68436号 Inf.计算。 259,第3部分,412-443(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Molinari}等人,《信息计算》。259,第3部分,412--443(2018;Zbl 1390.68436) 全文: DOI程序 arXiv公司
杜尔汉,S。;Sciavicco,G。 树状结构的类艾伦时间理论。 (英语) Zbl 1436.03122号 Inf.计算。 259,第3部分,375-389(2018).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Durhan}和\textit{G.Sciavicco},信息计算。259,第3部分,375--389(2018;Zbl 1436.03122) 全文: DOI程序 链接
Chatzieleftheriou,G。;卡萨罗斯,P。 概率系统的抽象模型修复。 (英语) Zbl 1388.68185号 Inf.计算。 259,第1部分,142-160(2018).MSC公司:60年第68季度 03B44号 60年20日 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Chatzieleftheriou}和\textit{P.Katsaros},Inf.Compute。259,第1部分,142--160(2018;Zbl 1388.68185) 全文: DOI程序
卢卡·维甘诺;马尔科·沃尔佩;玛格丽塔·佐齐 用于推理无纠缠量子态变换的分支分布式时序逻辑。 (英语) Zbl 1372.68191号 Inf.计算。 255,第2部分,311-333(2017).MSC公司:68问题85 03B44号 第81页第45页 PDF格式BibTeX公司 XML格式引用 \textit{L.Viganå}等人,Inf.Comput。255,第2部分,311--333(2017;Zbl 1372.68191) 全文: DOI程序 链接
Dimitar P.Guelev。 在交替时间逻辑中提炼战略能力。 (英语) Zbl 1370.68204号 Inf.计算。 254,第2部分,316-328(2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev},Inf.计算。254,第2部分,316-328(2017;Zbl 1370.68204) 全文: DOI程序
彼得·费蒙维尔;马丁·齐默尔曼 参数线性动态逻辑。 (英语) 兹比尔1362.68169 Inf.计算。 253,第2部分,237-256(2017).MSC公司:60年第68季度 03B44号 03B70号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Faymonville}和\textit{M.Zimmermann},Inf.Compute。253,第2部分,237--256(2017;Zbl 1362.68169) 全文: DOI程序 arXiv公司
宋,傅;吴志林 关于数据变量量化的时序逻辑:可判定性和复杂性。 (英语) Zbl 1353.68181号 Inf.计算。 251104-139(2016).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Song}和\textit{Z.Wu},Inf.Comput。251104--139(2016年;Zbl 1353.68181) 全文: DOI程序
多里特·帕尔多(奥登特里希);亚历山大·拉比诺维奇 没有未来(暗示)过去。“几乎未来”时序逻辑的有限基础。 (英语) Zbl 1408.03012号 Inf.计算。 247, 203-216 (2016).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pardo(Ordentlich)}和\textit{A.Rabinovich},Inf.Compute。247203--216(2016;Zbl 1408.03012) 全文: DOI程序
弗朗索瓦·拉鲁西尼;尼古拉斯·马基 用战略背景扩充ATL。 (英语) Zbl 1332.68140号 Inf.计算。 245, 98-123 (2015).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{N.Markey},Inf.Comput。24598--123(2015;Zbl 1332.68140) 全文: DOI程序
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 一种基于SMT的MITL可满足性检查方法。 (英语) Zbl 1332.68138号 Inf.计算。 245, 72-97 (2015).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,《信息计算》。24572--97(2015;Zbl 1332.68138) 全文: DOI程序
亚历山德罗·西马蒂;马可·罗维里;斯特凡诺·托内塔 HRELTL:混合系统的时序逻辑。 (英语) Zbl 1332.68139号 Inf.计算。 245, 54-71 (2015).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,信息计算。245,54-71(2015年;兹bl 1332.68139) 全文: DOI程序
斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 驯服过去的LTL和扁平计数器系统。 (英语) Zbl 1378.68112号 Inf.计算。 242, 306-339 (2015).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,《信息计算》。242306-339(2015年;兹bl 1378.68112) 全文: DOI程序
克利斯朵夫·查尔顿;朱利安·布鲁内尔;戴维·谢穆伊尔 具有可撤销和可再融资策略的逻辑。 (英语) Zbl 1319.68142号 Inf.计算。 242, 157-182 (2015).MSC公司:60年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Chareton}等人,《信息计算》。242157-182(2015;Zbl 1319.68142) 全文: DOI程序
西蒙·巴斯德;查尔斯·佩彻;曲洪阳;佛朗哥·雷蒙迪 部分可观测性和无条件公平约束下无记忆策略的推理。 (英语) 兹伯利1319.68141 Inf.计算。 242, 128-156 (2015).MSC公司:60年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Busard}等人,Inf.计算。242、128——156(2015;Zbl 1319.68141) 全文: DOI程序 链接
劳拉·博泽利;巴斯蒂安·莫伯特;苏菲·平奇纳特 统一策略、理性关系和跳跃自动机。 (英语) Zbl 1319.68140号 Inf.计算。 24280-107(2015).MSC公司:60年第68季度 03B42号 03B44号 05年3月 2017年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。242、80-107(2015;Zbl 1319.68140) 全文: DOI程序
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 迭代布尔游戏。 (英语) Zbl 1318.91012号 Inf.计算。 242, 53-79 (2015).MSC公司:91A10号 03B44号 65年第68季度 65年第68季度 91A20型 91A35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。242、53--79(2015年;Zbl 1318.91012) 全文: DOI程序
布里姆,L。;德卢霍什,P。;萨夫拉内克,D。;Vejpustek,T。 STL*:使用信号值冻结运算符扩展信号时序逻辑。 (英语) Zbl 1311.68085号 Inf.计算。 236, 52-67 (2014).MSC公司:60年第68季度 92B25型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人,《信息计算》。23652--67(2014年;Zbl 1311.68085) 全文: DOI程序
班克斯,C.J。;斯塔克,I。 上下文中的行为逻辑。 (英语) Zbl 1311.68083号 Inf.计算。 236, 3-18 (2014).MSC公司:60年第68季度 03B44号 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Banks}和\textit{I.Stark},Inf.Compute。2363-18(2014年;Zbl 1311.68083) 全文: DOI程序
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 带计数的连续时间时序逻辑。 (英语) Zbl 1242.03044号 Inf.计算。 214, 1-9 (2012).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hirshfeld}和\textit{A.Rabinovich},Inf.Compute。214,1-9(2012;Zbl 1242.03044) 全文: DOI程序
亚历山大·拉比诺维奇 线性时域上的时间逻辑在PSPACE中。 (英语) Zbl 1280.68112号 Inf.计算。 210, 40-67 (2012).MSC公司:65年第68季度 03B44号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},Inf.计算。210、40-67(2012年;Zbl 1280.68112) 全文: DOI程序
小岛贤介;Atsushi Igarashi 构造线性时间逻辑:证明系统和克里普克语义学。 (英语) 兹比尔1248.03031 Inf.计算。 209,第12期,1491-1503(2011).MSC公司:03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Kojima}和\textit{A.Igarashi},Inf.计算。209,第12号,1491--1503(2011;Zbl 1248.03031) 全文: DOI程序
塞德里克·德格雷蒙特;尼娜·吉拉西姆祖克 从认知更新的角度进行有限识别。 (英语) Zbl 1217.68117号 Inf.计算。 209,第3期,383-396(2011).MSC公司:第68季度32 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dégremont}和\textit{N.Gierasimczuk},Inf.Comput。209,第3号,383--396(2011;Zbl 1217.68117) 全文: DOI程序
朱利安·古铁雷斯;朱利安·布拉德菲尔德 具有部分顺序模型的定点逻辑的模型检查游戏。 (英语) Zbl 1215.68149号 Inf.计算。 209,第5期,766-781(2011).MSC公司:68问题85 03B44号 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}和\textit{J.Bradfield},Inf.Compute。209,No.5,766--781(2011;Zbl 1215.68149) 全文: DOI程序 链接
保罗·加斯廷;迪特里赫·库斯克 Mazurkiewicz迹上局部时序逻辑的一致可满足性问题。 (英语) Zbl 1195.68069号 Inf.计算。 208,第7期,797-816(2010).MSC公司:68问题85 03B44号 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}和\textit{D.Kuske},信息计算。208,第7号,797--816(2010;Zbl 1195.68069) 全文: DOI程序
帕特里夏·鲍耶;Fabrice骑士;尼古拉斯·马基 关于TPTL和MTL的表达能力。 (英语) Zbl 1209.03010号 Inf.计算。 208,第2期,97-116(2010). 审核人:安德烈亚斯·赫齐格(图卢兹) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《信息计算》。208,第2号,97--116(2010;Zbl 1209.03010) 全文: DOI程序
约拉姆·赫什菲尔德;亚历克斯·拉比诺维奇 可决定的度量逻辑。 (英语) 兹比尔1156.03019 Inf.计算。 206,第12期,1425-1442(2008).MSC公司:03B44号 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hirshfeld}和\textit{A.Rabinovich},Inf.Compute。206,第12号,1425--1442(2008;Zbl 1156.03019) 全文: DOI程序
萨尔瓦多拉托雷;那不勒斯,玛格丽塔;帕伦特,米姆;Gennaro帕拉托 验证依赖于作用域的分层状态机。 (英语) 兹比尔1147.68051 Inf.计算。 206,编号9-10,1161-1177(2008).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}等人,《信息计算》。206,编号9--10,1161--1177(2008;Zbl 1147.68051) 全文: DOI程序 链接
亚历山大·拉比诺维奇 具有不可通约距离的时间逻辑是不可判定的。 (英语) 邮编1128.03009 Inf.计算。 205,编号5,707-715(2007). 审核人:托马斯·斯图德(伯尔尼) MSC公司:03B44号 03天35分 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},Inf.计算。205,第5号,707--715(2007;Zbl 1128.03009) 全文: DOI程序
斯特凡·德姆里;迪帕克·D’Souza 约束LTL的自动机理论方法。 (英语) Zbl 1113.03015号 Inf.计算。 205,第3期,380-415(2007). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B70号 60年第68季度 05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.D'Souza},Inf.Comput。205,编号3,380--415(2007年;Zbl 1113.03015) 全文: DOI程序 哈尔
卡斯滕·卢茨;德克·沃尔特;弗兰克·沃尔特 实域上的定量时间逻辑:PSpace及以下。 (英语) Zbl 1109.03012号 Inf.计算。 205,第1期,99-123(2007).MSC公司:03B44号 2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}等人,《信息计算》。205,编号1,99-123(2007;Zbl 1109.03012) 全文: DOI程序
安德烈亚斯·施费尔 多维持续时间微积分的公理化和可判定性。 (英语) Zbl 1109.68069号 Inf.计算。 205,第1期,25-64(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Schäfer},Inf.计算。205,编号1,25--64(2007;Zbl 1109.68069) 全文: DOI程序
斯特凡·德姆里;兰科·拉齐奇;诺瓦克,大卫 关于约束LTL中的冻结量词:可决定性和复杂性。 (英语) 兹伯利1116.03014 Inf.计算。 205,第1期,2-24(2007).MSC公司:03B44号 03B25号 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,《信息计算》。205,编号1,2--24(2007;Zbl 1116.03014) 全文: DOI程序 哈尔
伊曼纽尔·基伦斯基 关于具有传递保护的二元保护碎片的复杂性。 (英语) Zbl 1115.03021号 Inf.计算。 204,第11期,1663-1703(2006).MSC公司:03B70号 03B44号 2017年第68季度 03B10号机组 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Kieronéski},信息计算。204,第11号,1663-1703(2006;Zbl 1115.03021) 全文: DOI程序
沃尔克·迪克特;保罗·加斯廷 对于Mazurkiewicz轨迹,纯粹的未来局部时序逻辑是完全的。 (英语) Zbl 1113.03016号 Inf.计算。 204,第11期,1597-1619(2006). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{P.Gastin},Inf.Compute。204,第11号,1597--1619(2006;Zbl 1113.03016) 全文: DOI程序
哈坎·L·S·尤尼斯。;里德·西蒙斯(Reid G.Simmons)。 统计概率模型检查,重点关注有时间限制的属性。 (英语) Zbl 1110.68077号 Inf.计算。 204,第9期,1368-1409(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.L.S.Younes}和\textit{R.G.Simmons},Inf.Compute。204,第9号,1368--1409(2006;Zbl 1110.68077) 全文: DOI程序
亚历山大·拉比诺维奇;菲利普·施诺贝伦 \(\text{比特币}_{2} 和(text{ECTL}^{+})的表达能力。 (英语) Zbl 1110.68076号 Inf.计算。 204,第7期,1023-1044(2006).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}和\textit{P.Schnoebelen},Inf.Comput。204,第7号,1023--1044(2006;Zbl 1110.68076) 全文: DOI程序
雷诺兹,马克 PCTL*的公理化。 (英语) Zbl 1099.03013号 Inf.计算。 201,第1期,72-119(2005). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},《信息计算》。201,第1号,72--119(2005;Zbl 1099.03013) 全文: DOI程序
拜尔,克里斯特尔;Joost-Pieter卡托恩;霍尔格·赫尔曼斯;维雷娜·沃尔夫 马尔可夫链的比较分支时间语义。 (英语) Zbl 1101.68053号 Inf.计算。 200,第2期,149-214(2005).MSC公司:68问题55 2010年第68季度 60年第68季度 60J10型 60年27日 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,信息计算。200,第2号,149--214(2005;Zbl 1101.68053) 全文: DOI程序 链接
鲍里斯·科涅夫;阿纳托利·德吉亚列夫;克莱尔·狄克逊;迈克尔·费希尔;乌尔里希·赫斯塔特 机械化一阶时间分辨率。 (英语) Zbl 1086.03009号 Inf.计算。 199,第1-2号,55-86(2005).MSC公司:03B35型 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Konev}等人,Inf.Comput。199,编号1--2,55-86(2005;Zbl 1086.03009) 全文: DOI程序
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 计时器公式和可判定的度量时态逻辑。 (英语) Zbl 1068.03014号 Inf.计算。 198,第2期,148-178(2005). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hirshfeld}和\textit{A.Rabinovich},Inf.Compute。198,第2号,148--178(2005;Zbl 1068.03014) 全文: DOI程序
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 未来的时序逻辑需要无限多的形式。 (英语) Zbl 1045.03019号 Inf.计算。 187,第2期,196-208(2003).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hirshfeld}和\textit{A.Rabinovich},Inf.Compute。187,第2号,196--208(2003;Zbl 1045.03019) 全文: DOI程序
法隆·莫勒;亚历山大·拉比诺维奇 计数CTL(^*\):关于一元路径逻辑的表达能力。 (英语) Zbl 1019.03023号 Inf.计算。 184,第1期,147-159(2003).MSC公司:03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Moller}和\textit{A.Rabinovich},Inf.Compute。184,第1号,147--159(2003;Zbl 1019.03023) 全文: DOI程序
库沙·埃特萨米;莫舍·瓦尔迪。;托马斯·威尔克 具有两个变量的一阶逻辑和一元时态逻辑。 (英语) Zbl 1096.03013号 Inf.计算。 179,第2期,279-295(2002).MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人,《信息计算》。179,第2号,279--295(2002;Zbl 1096.03013) 全文: DOI程序
Thiagarajan,P.S。;Walukiewicz,I。 Mazurkiewicz轨迹的一种表达完整的线性时间时序逻辑。 (英语) Zbl 1096.03015号 Inf.计算。 179,第2期,230-249(2002).MSC公司:03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Thiagarajan}和\textit{I.Walukiewicz},信息计算。179,编号2,230--249(2002;Zbl 1096.03015) 全文: DOI程序
斯特凡·德姆里;菲利普·施诺贝伦 简单情况下命题线性时序逻辑的复杂性。 (英语) Zbl 1009.68072号 Inf.计算。 174,第1期,84-103(2002).MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{P.Schnoebelen},信息计算。174,第1号,84--103(2002;Zbl 1009.68072) 全文: DOI程序 链接
亚历山大·拉比诺维奇;沙哈尔·茂兹 分支时间上的时间逻辑的无限层次结构。 (英语) Zbl 1005.03022号 Inf.计算。 171,第2期,306-332(2001).MSC公司:03B44号 60年第68季度 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}和\textit{S.Maoz},Inf.Comput。171,编号2,306--332(2001;Zbl 1005.03022) 全文: DOI程序 链接
奥尔纳·库普弗曼;莫舍·瓦尔迪。;皮埃尔·沃尔珀 模块检查。 (英语) Zbl 1003.68071号 Inf.计算。 164,第2号,322-344(2001年).MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《信息计算》。164,第2号,322--344(2001;Zbl 1003.68071) 全文: DOI程序
库沙·埃特萨米;托马斯·威尔克 时间逻辑Ehrenfeucht-Fraíssé游戏的直到层次结构和其他应用程序。 (英语) 兹比尔1005.03021 Inf.计算。 160,编号1-2,88-108(2000).MSC公司:03B44号 05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}和\textit{T.Wilke},Inf.Compute。160,编号1--2,88-108(2000;Zbl 1005.03021) 全文: DOI程序
拉鲁西尼,F。;Schnoebelen博士。 CTL+过去用于CTL验证的规范。 (英语) Zbl 1046.68599号 Inf.计算。 156,编号1-2236-263(2000).MSC公司:60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{Ph.Schnoebelen},Inf.Compute。156,编号1--2,236--263(2000;Zbl 1046.68599) 全文: DOI程序
罗伯·格思;鲁德·柯伊伯;多龙·贝利德;沃伊切赫·彭泽克 分支时间逻辑模型检查的部分顺序方法。 (英语) Zbl 1045.68588号 Inf.计算。 150,第2期,第132-152页(1999年).MSC公司:60年第68季度 03B44号 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gerth}等人,《信息计算》。150,第2号,132--152(1999;Zbl 1045.68588) 全文: DOI程序 链接
达姆,麦兹 模型检查移动进程。 (英语) Zbl 0864.68036号 Inf.计算。 129,第1期,35-51(1996).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Dam},信息计算。129,编号1,35--51(1996;Zbl 0864.68036) 全文: DOI程序 链接
奥尔纳·库普弗曼;奥尔纳·格伦伯格 分支时间时序逻辑和树自动机。 (英语) 兹比尔0853.68133 Inf.计算。 125,第1期,第62-69页(1996年).MSC公司:65年第68季度 68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{O.Grumberg},信息计算。125,编号1,62--69(1996;Zbl 0853.68133) 全文: DOI程序
雷切尔·本·埃利亚胡;梅纳赫姆·马吉多 用于证明拓扑一般执行属性的时态逻辑。 (英语) 兹比尔0861.03024 Inf.计算。 124,第2期,127-144(1996). 审核人:M.Gabbrielli(比萨) MSC公司:03B70号 03B45号 60年第68季度 2010年第68季度 54E52型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ben-Eliyahu}和\textit{M.Magidor},Inf.Compute。124,第2号,127--144(1996;Zbl 0861.03024) 全文: DOI程序
玛丽安·鲍迪内 关于时序逻辑编程的表达性。 (英语) Zbl 0826.68031号 Inf.计算。 117,第2期,157-180(1995).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{M.Baudinet},信息计算。117,第2号,157--180(1995;Zbl 0826.68031) 全文: DOI程序
莫舍·瓦尔迪。;皮埃尔·沃尔珀 关于无限计算的推理。 (英语) Zbl 0827.03009 Inf.计算。 115,第1期,第1-37页(1994年). 审核人:李翔(贵阳) MSC公司:03B45号 05年3月 2015年3月1日 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi}和\textit{P.Wolper},Inf.Compute。115,编号1,1--37(1994;Zbl 0827.03009) 全文: DOI程序 链接
托马斯·亨辛格(Thomas A.Henzinger)。;佐哈尔·曼纳;阿米尔·普努利 时间转换系统的时间证明方法。 (英语) Zbl 0820.68085号 Inf.计算。 112,No.2,273-337(1994).MSC公司:68问题85 68T27型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,《信息计算》。112,编号2273-337(1994年;兹bl 0820.68085) 全文: DOI程序 链接
帕特丽斯·戈德弗里德;皮埃尔·沃尔珀 模型检查的部分方法。 (英语) Zbl 0806.68079号 Inf.计算。 110,第2号,305-326(1994).MSC公司:60年第68季度 2010年第68季度 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Godefroid}和\textit{P.Wolper},Inf.Comput。110,第2号,305-326(1994;Zbl 0806.68079) 全文: DOI程序 链接
拉杰夫·阿鲁尔;托马斯·亨辛格(Thomas A.Henzinger)。 实时逻辑:复杂性和表达性。 (英语) Zbl 0791.68103号 Inf.计算。 104,第1期,35-77(1993). 审核人:S.Miura(冈崎/爱知) MSC公司:60年第68季度 2010年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{T.A.Henzinger},Inf.Compute。104,编号1,35--77(1993;Zbl 0791.68103) 全文: DOI程序 链接
拉杰夫·阿鲁尔;科斯塔斯·库库贝蒂斯;大卫·迪尔 密集实时模型检查。 (英语) Zbl 0783.68076号 Inf.计算。 104,第1期,第2-34页(1993年). 审核人:D.Gruska(布拉迪斯拉发) MSC公司:60年第68季度 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《信息计算》。104,编号1,2--34(1993;Zbl 0783.68076) 全文: DOI程序 链接
阿米尔·普努利;Lenore D.扎克。 概率验证。 (英语) Zbl 0797.68112号 Inf.计算。 103,第1期,第1-29页(1993年).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}和\textit{L.D.Zuck},Inf.Compute。103,编号1,1--29(1993;Zbl 0797.68112) 全文: DOI程序
西斯特拉·A·普拉萨德;Lenore D.扎克。 限制时间逻辑中的推理。 (英语) Zbl 0771.03007号 Inf.计算。 102,第2期,167-195(1993).MSC公司:03B45号 60年第68季度 03B70号 68吨15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}和\textit{L.D.Zuck},信息计算。102,第2号,167--195(1993;Zbl 0771.03007) 全文: DOI程序
J.R.伯奇。;E.M.克拉克。;麦克米兰,K.L。;迪尔·D·L。;黄,L.J。 符号模型检查:(10^{20})状态及以上。 (英语) Zbl 0753.68066号 Inf.计算。 98,第2期,142-170(1992).MSC公司:60年第68季度 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Burch}等人,《信息计算》。98,第2号,142--170(1992;Zbl 0753.68066) 全文: DOI程序
尼尔·伊梅尔曼;德克斯特·科赞 有界变量数的可定义性。 (英语) Zbl 0711.03004号 Inf.计算。 83,第2期,121-139(1989). 审核人:谢夫兰内克 MSC公司:03B70号 03C30号 03B45号 03立方厘米13 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Immerman}和\textit{D.Kozen},信息计算。83,第2号,121--139(1989;Zbl 0711.03004) 全文: DOI程序
安德烈·阿诺德;安妮·迪克 过渡系统等价性的代数表征。 (英语) Zbl 0679.68116号 Inf.计算。 82,第2期,198-229(1989). 审核人:B.池塘 MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}和\textit{A.Dicky},信息计算。82,No.2,198--229(1989;Zbl 0679.68116) 全文: DOI程序
阿米尔,阿米胡德;加贝,多夫·M。 保持时间模型中的表达完整性。 (英语) Zbl 0621.03008号 Inf.计算。 第72页,第66-83页(1987年). 审核人:J.塞夫拉内克 MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Amir}和\textit{D.M.Gabbay},Inf.Comput。72、66-83(1987年;Zbl 0621.03008) 全文: DOI程序