詹斯·奥利弗·古斯菲尔德;马库斯·穆勒·奥尔姆;克里斯蒂安·迪利茨 带有语言参数的时序逻辑。 (英语) 兹伯利07798814 Inf.计算。 295,A部分,文章ID 105087,22 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.O.Gutsfeld}等人,《信息计算》。295,A部分,文章ID 105087,第22页(2023;Zbl 07798814) 全文: 内政部
阿曼多·卡斯塔涅达;奥雷利·胡罗;菲利普·奎因内克;罗伊,马蒂厄 并发算法的模块化证明任务。 (英语) Zbl 07687226号 Inf.计算。 292,文章ID 105040,21 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Castañeda}等人,《信息计算》。292,文章ID 105040,21 p.(2023;Zbl 07687226) 全文: 内政部 arXiv公司
何康利;吴,衡阳;陈一香 关于发散敏感的弱概率双相似性。 (英语) 兹比尔07687220 Inf.计算。 292,文章ID 105033,15 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.He}等人,《信息计算》。292,文章ID 105033,15 p.(2023;Zbl 07687220) 全文: 内政部
简·Křetínsk;伊曼纽尔·拉姆尼安图;亚历山大·斯利文斯基;马克西米利安·威宁格 简单随机博弈算法的比较。 (英语) Zbl 07629166号 Inf.计算。 289,B部分,文章ID 104885,23 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk椯}et al.,《信息计算》。289,B部分,文章ID 104885,23 p.(2022;Zbl 07629166) 全文: 内政部
阿尔贝托·卡萨格兰德;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) 全文: 内政部
塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰·弗雷斯;安德烈亚斯·波德尔斯基;克里斯蒂安·席林 用低维集合和高维矩阵分解可达集合计算(扩展版)。 (英语) Zbl 07629131号 Inf.计算。 289,A部分,文章ID 104937,第24页(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人,信息计算。289,A部分,文章ID 104937,24 p.(2022;Zbl 07629131) 全文: 内政部
瑞安·卡瓦纳 会话类型语言的公平性和基于通信的语义。 (英语) Zbl 1504.68030号 Inf.计算。 285,B部分,文章ID 104892,77 p.(2022).MSC公司:68甲15 68甲18 68甲19 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kavanagh},信息计算。285,B部分,文章ID 104892,77页(2022;Zbl 1504.68030) 全文: 内政部 arXiv公司
Julia艾森特;Edon Kelmendi;简·Křetínsk;马克西米利安·威宁格 简单随机对策的值迭代:停止准则和学习算法。 (英语) Zbl 1507.91016号 Inf.计算。 285,B部分,文章ID 104886,32 p.(2022).MSC公司:91A15型 91A68型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Eisentraut}等人,《信息计算》。285,B部分,文章ID 104886,32页(2022;Zbl 1507.91016) 全文: 内政部 arXiv公司
帕里托什·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) 全文: 内政部 arXiv公司
普洛塔萨,维奥雷尔;尤利亚德拉戈米尔;斯塔夫罗斯·特里帕基斯 反应系统的精化演算。 (英语) Zbl 1487.68160号 Inf.计算。 285,B部分,文章ID 104819,43 p.(2022).MSC公司:60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa}等人,《信息计算》。285,B部分,文章ID 104819,43 p.(2022;Zbl 1487.68160) 全文: 内政部 arXiv公司
尼尔,丹尼尔;亚历山大·韦内特;马丁·齐默尔曼 健壮、富有表现力和定量的线性时序逻辑:免费选择任意两种。 (英语) 兹伯利07538307 Inf.计算。 285,B部分,文章ID 104810,第23页(2022).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人,《信息计算》。285,B部分,文章ID 104810,23 p.(2022;Zbl 07538307) 全文: 内政部 链接
劳拉·博泽利;阿尼埃洛·穆拉诺;阿德里亚诺·佩隆 无上下文时间形式:鲁棒自动机和线性时序逻辑。 (英语) Zbl 1528.68213号 Inf.计算。 283,文章ID 104673,30 p.(2022).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。283,文章ID 104673,30 p.(2022;Zbl 1528.68213) 全文: 内政部
阿曼,博格丹;加布里埃尔·乔巴努 移动代理系统和加权时间自动机中的声誉动态。 (英语) Zbl 1483.68220号 Inf.计算。 282,文章ID 104653,22 p.(2022).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu},Inf.Comput。282,文章ID 104653,22 p.(2022;Zbl 1483.68220) 全文: 内政部
波琳娜·帕拉波尼亚里;乔治·拉霍尼斯 加权命题配置逻辑:具有定量特征的体系结构的规范语言。 (英语) Zbl 1483.68088号 Inf.计算。 282,文章ID 104647,18 p.(2022).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Paraponiari}和\textit{G.Rahonis},Inf.计算。282,文章ID 104647,18 p.(2022;Zbl 1483.68088) 全文: 内政部 arXiv公司
阿德里安·弗兰卡兰扎 监视器理论。 (英语) Zbl 1475.68206号 Inf.计算。 281,文章ID 104704,29 p.(2021).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza},Inf.计算。281,文章ID 104704,第29页(2021;兹bl 1475.68206) 全文: 内政部
阿卡什侯赛因;弗朗索瓦·拉鲁西尼 \(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) 全文: 内政部 arXiv公司
佩拉斯、昆廷;朱利安·布鲁内尔;戴维·谢穆伊尔 许多一阶线性时序逻辑的一个可判定且可表达的片段。 (英语) Zbl 1518.68214号 Inf.计算。 280,文章ID 104641,20 p.(2021).MSC公司:60年第68季度 03年2月25日 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Peyras}等人,《信息计算》。280,文章ID 104641,20 p.(2021;Zbl 1518.68214) 全文: 内政部 哈尔
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 模型检查区间时序逻辑统一算法的复杂性分析。 (英语) Zbl 1518.68204号 Inf.计算。 280,文章ID 104640,第22页(2021).MSC公司:60年第68季度 03B44号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。280,文章ID 104640,22 p.(2021;Zbl 1518.68204) 全文: 内政部 链接
何希明;周若瑜;蒂莫西·琼斯。 时间超属性。 (英语) 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 p.(2021;Zbl 1518.68207) 全文: 内政部 链接
大卫·布雷索林;Lanese,伊万 静态和动态属性提供更新。 (英语) Zbl 1497.68251号 Inf.计算。 279,文章ID 104611,24 p.(2021).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}和\textit{I.Lanese},Inf.Comput。279,文章ID 104611,24 p.(2021;Zbl 1497.68251) 全文: 内政部 哈尔
Balasubramanian,A.R。 无限状态广播网络覆盖性的参数化验证。 (英语) Zbl 1497.68285号 Inf.计算。 278,文章ID 104592,13 p.(2021).MSC公司:60年第68季度 68M10个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Balasubramanian},信息计算。278,文章ID 104592,13 p.(2021;Zbl 1497.68285) 全文: 内政部
安德烈亚·奥兰迪尼(编辑);马丁·齐默尔曼(编辑) 前言。 (英语) 兹比尔1462.68006 Inf.计算。 278,文章ID 104591,2 p.(2021).MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Orlandini}(编辑)和textit{M.Zimmermann}(主编),《Inf.Compute》。278,文章ID 104591,2 p.(2021;Zbl 1462.68006) 全文: 内政部
贝拉德,B。;哈达德,S。;皮卡罗尼,C。;Safey El Din,M。;萨索拉斯,M。 多项式中断时间自动机:验证和表达。 (英语) Zbl 1475.68145号 Inf.计算。 277,文章ID 104580,15 p.(2021).MSC公司:65年第68季度 03B70号 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《信息计算》。277,文章ID 104580,15 p.(2021;Zbl 1475.68145) 全文: 内政部
朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇 有限轨迹上LDL目标的多人游戏。 (英语) Zbl 1497.68305号 Inf.计算。 276,文章ID 104555,17 p.(2021).MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。276,文章ID 104555,17 p.(2021;Zbl 1497.68305) 全文: 内政部 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) 全文: 内政部 arXiv公司 链接
维罗尼克·布鲁埃;勒鲁克斯,圣潘;阿诺·保利;Jean-François拉斯金 关于弱子博弈完美均衡的存在性。 (英语) Zbl 1486.91017号 Inf.计算。 276,文章ID 104553,20 p.(2021).MSC公司:91A43型 60年第68季度 91A11号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人,计算机信息。276,文章ID 104553,20 p.(2021;Zbl 1486.91017) 全文: 内政部 arXiv公司
弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫·贾姆罗加;迈克尔·克纳皮克 通过应用三选票投票协议验证战略能力的相互模拟。 (英语) Zbl 1497.68287号 Inf.计算。 276,文章ID 104552,第25页(2021).MSC公司:60年第68季度 03B44号 68T42型 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,《信息计算》。276,文章ID 104552,25 p.(2021;Zbl 1497.68287) 全文: 内政部 arXiv公司 链接
徐明;邓雨欣 具有时滞的概率规划的有时限终止分析。 (英语) Zbl 1496.68120号 Inf.计算。 275,文章ID 104634,24 p.(2020).MSC公司:68号30 65年第68季度 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}和\textit{Y.Deng},Inf.Compute。275,文章ID 104634,24 p.(2020;Zbl 1496.68120) 全文: 内政部
萨尔瓦多拉托雷;那不勒斯,玛格丽塔;Gennaro帕拉托 作用域范围内的多级下推系统的可达性。 (英语) Zbl 1496.68235号 Inf.计算。 275,文章ID 104588,26 p.(2020).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}等人,《信息计算》。275,文章ID 104588,26 p.(2020;Zbl 1496.68235) 全文: 内政部
克里斯特尔·拜尔;克里斯蒂安·亨塞尔;Lisa Hutschenreiter;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;约阿希姆·克莱因 参数马尔可夫链:PCTL复杂性和无分数高斯消去。 (英语) Zbl 1443.68101号 Inf.计算。 272,文章ID 104504,26 p.(2020).MSC公司:60年第68季度 03B44号 60J10型 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《信息计算》。272,文章ID 104504,26 p.(2020;Zbl 1443.68101) 全文: 内政部 arXiv公司
亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·马格纳戈;马可·罗维里;斯特凡诺·托内塔 基于SMT的具有事件冻结函数和度量算子的一阶LTL的可满足性。 (英语) 兹比尔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) 全文: 内政部
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 使用正则表达式对区间时序逻辑进行模型检查。 (英语) 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 p.(2020;Zbl 1443.68102) 全文: 内政部
阿尼埃洛·穆拉诺(编辑);帕特里夏·鲍耶(编辑);圣彼得罗,皮耶路易吉(编辑);安德烈亚·奥兰迪尼(编辑) 前言。 (英语) Zbl 1443.68019号 Inf.计算。 272,文章ID 104497,1 p.(2020).MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Murano}(编辑)等,《信息计算》。272,文章ID 104497,1页(2020;Zbl 1443.68019) 全文: 内政部
尼古拉·贝内什;乌里法伦伯格;简·Křetínsk;Legay、Axel;路易斯·马里·特劳努埃兹 逻辑规范与行为规范。 (英语) Zbl 1435.68189号 Inf.计算。 271,文章ID 104487,第24页(2020).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,《信息计算》。271,文章ID 104487,24 p.(2020;Zbl 1435.68189) 全文: 内政部 哈尔
蒋建民;朱慧彪;李,秦;赵永新;张、石;龚萍;洪,钟 基于事件的功能分解。 (英语) Zbl 1435.68062号 Inf.计算。 271,文章ID 104484,22 p.(2020).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Jiang}等人,《信息计算》。271,文章ID 104484,22 p.(2020;Zbl 1435.68062) 全文: 内政部
瓦伦蒂娜·卡斯蒂格利奥尼;蒂妮,西蒙 非确定概率转移系统分支度量的逻辑特征。 (英语) Zbl 1430.68161号 Inf.计算。 268,文章ID 104432,40 p.(2019).MSC公司:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Castiglioni}和\textit{S.Tini},信息计算。268,文章ID 104432,40 p.(2019;Zbl 1430.68161) 全文: 内政部
Makoto Tatsuta;魏恩根·钦;马哈穆杜尔·费萨尔·阿梅恩 通过分离逻辑验证指针程序的完整性和表达性。 (英语) Zbl 1422.68038号 Inf.计算。 267, 1-27 (2019).MSC公司:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Tatsuta}等人,《信息计算》。267,1-27(2019年;Zbl 1422.68038) 全文: 内政部
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) 全文: 内政部
瑞典雅各布斯;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) 全文: 内政部 arXiv公司
盖尔·方丹;法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;Loredana索伦蒂诺 计算树逻辑中的循环检测。 (英语) Zbl 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) 全文: 内政部 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) 全文: 内政部 链接
马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 对等游戏的延迟促销政策。 (英语) Zbl 1400.68119号 Inf.计算。 262,第2部分,221-240(2018).MSC公司:60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《信息计算》。262,第2部分,221-240(2018;兹bl 1400.68119) 全文: 内政部 arXiv公司
卢卡·博托卢西;罗伯塔·兰西亚尼;劳拉·内兹 用随机近似检验马尔可夫种群模型。 (英语) Zbl 1400.68120号 Inf.计算。 262,第2部分,189-220(2018).MSC公司:60年第68季度 60J28型 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人,《Inf.Compute》。262,第2部分,189--220(2018;Zbl 1400.68120) 全文: 内政部 arXiv公司
坎通纳,多梅尼科(编辑);乔治·德尔扎诺(编辑) 前言:游戏、自动机、逻辑和形式验证(GandALF 2016)。 (英语) Zbl 1400.68017号 Inf.计算。 262,第2部分,187-188(2018).MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}(编辑)和\textit{G.Delzanno}(主编),Inf.Compute。262,第2部分,187--188(2018;Zbl 1400.68017) 全文: 内政部
克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯;约翰·舒斯特;安德烈亚·图里尼;张丽君 对概率和马尔可夫自动机的最小商的追求。 (英语) Zbl 1400.68132号 Inf.计算。 262,第1部分,162-186(2018).MSC公司:68问题85 65年第68季度 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}等人,《信息计算》。262,第1部分,162--186(2018;Zbl 1400.68132) 全文: 内政部
本杰明·阿米诺夫;阿尼埃洛·穆拉诺;萨沙·鲁宾 使用分级路径模式的CTL(^\ast)。 (英语) Zbl 1407.03028号 Inf.计算。 262,第1部分,1-21(2018). 审核人:马丁·兰格(卡塞尔) MSC公司:03B44号 03年2月25日 05年3月 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,《信息计算》。262,第1部分,1--21(2018;Zbl 1407.03028) 全文: 内政部 链接
朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇 反应模块游戏中的信息不完整。 (英语) Zbl 1395.68188号 Inf.计算。 261,第4部分,650-675(2018).MSC公司:60年第68季度 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。261,第4部分,650--675(2018;Zbl 1395.68188) 全文: 内政部 链接
本杰明·阿米诺夫;瓦迪姆·马尔文;阿尼埃洛·穆拉诺;萨沙·鲁宾 战略逻辑中的分级模式。 (英语) Zbl 1395.68254号 Inf.计算。 261,第4部分,634-649(2018).MSC公司:68T27型 60年第68季度 68T42型 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,《信息计算》。261,第4部分,634--649(2018;Zbl 1395.68254) 全文: 内政部 arXiv公司 链接
彼得·科马克;阿莱西奥·洛穆西奥;法比奥·莫加维罗;阿尼埃洛·穆拉诺 多智能体系统的实际验证Slk公司规范。 (英语) Zbl 1395.68255号 Inf.计算。 261,第3部分,588-614(2018).MSC公司:68T27型 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.采尔玛}等人,《Inf.Compute》。261,第3部分,588--614(2018;Zbl 1395.68255) 全文: 内政部
北巴塞特。;Kwiatkowska,M。;Wiltsche,C。 多目标随机博弈的合成策略综合。 (英语) Zbl 1395.68265号 Inf.计算。 261,第3部分,536-587(2018).MSC公司:68T40型 60年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{N.Basset}等人,《信息计算》。261,第3部分,536--587(2018;Zbl 1395.68265) 全文: 内政部 链接
艾哈迈德·博阿贾尼;迈克尔·埃米;康斯坦丁·埃纳;贾德·哈姆扎 关于将线性化能力降低到状态可达性。 (英语) Zbl 1395.68090号 Inf.计算。 261,第2部分,383-400(2018).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,《Inf.Compute》。261,第2部分,383--400(2018;Zbl 1395.68090) 全文: 内政部 arXiv公司
多米尼克·乌节 容器函子和comonad的复杂性边界。 (英语) Zbl 1394.68240号 Inf.计算。 261,第1部分,144-158(2018).MSC公司:68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Orchard},信息计算。261,第1部分,144--158(2018;Zbl 1394.68240) 全文: 内政部
阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 基于轨迹表示的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) 全文: 内政部 arXiv公司
迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;马可·蒙塔利;帕特里齐,法比奥 一般转换系统上的一阶演算及其在情形演算中的应用。 (英语) Zbl 1390.68462号 Inf.计算。 259,第3部分,328-347(2018).MSC公司:68问题85 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人,《信息计算》。259,第3部分,328--347(2018;Zbl 1390.68462) 全文: 内政部
艾斯瓦里亚,C。;贝内迪克特·博利格;保罗·加斯丁 验证分布式算法的自动机理论方法。 (英语) Zbl 1390.68421号 Inf.计算。 259,第3部分,305-327(2018).MSC公司:60年第68季度 65年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{C.Aiswarya}等人,《信息计算》。259,第3部分,305-327(2018;Zbl 1390.68421) 全文: 内政部 arXiv公司 链接
Chatzieleftheriou,G。;卡萨罗斯,P。 概率系统的抽象模型修复。 (英语) Zbl 1388.68185号 Inf.计算。 259,第1部分,142-160(2018).MSC公司:60年第68季度 03B44号 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Chatzieleftheriou}和\textit{P.Katsaros},Inf.Compute。259,第1部分,142--160(2018;Zbl 1388.68185) 全文: 内政部
宋,傅 使用堆栈操作分析下推系统。 (英语) Zbl 1388.68187号 Inf.计算。 259,第1部分,41-71(2018).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Song},信息计算。259,第1部分,41--71(2018;Zbl 1388.68187) 全文: 内政部
布里杰什·多戈尔;Robert M.Hierons。 静态一致性及其变化的可决定性和复杂性。 (英语) Zbl 1380.68294号 Inf.计算。 257, 1-21 (2017).MSC公司:68问题85 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}和\textit{R.M.Hierons},Inf.Comput。257,1--21(2017;Zbl 1380.68294) 全文: 内政部
文森特·雪瓦尔;科蒙·隆德,休伯特;斯特凡尼德劳恩 确定约束系统集之间符号等价性的过程。 (英语) 兹比尔1371.68189 Inf.计算。 255,第1部分,94-125(2017).MSC公司:68问题85 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人,《信息计算》。255,第1部分,94-125(2017;Zbl 1371.68189) 全文: 内政部 链接
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) 全文: 内政部
J·以西结。;A.Lomuscio。 结合故障注入和模型检查来验证多代理系统中的容错性、可恢复性和可诊断性。 (英语) Zbl 1370.68201号 Inf.计算。 254,第2部分,167-194(2017).MSC公司:60年第68季度 68个M12 68米15 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ezekiel}和\textit{A.Lomuscio},Inf.Compute。254,第2部分,167--194(2017;Zbl 1370.68201) 全文: 内政部
法比奥·莫加维罗(编辑);阿尼埃洛·穆拉诺(编辑);莫舍·瓦尔迪。(编辑) SR 2014特刊前言。 (英语) Zbl 1364.00047号 Inf.计算。 254,第2部分,141-142(2017).MSC公司:00B25型 68-06 91-06 65年第68季度 60年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}(编辑)等人,《信息计算》。254,第2部分,141--142(2017;Zbl 1364.00047) 全文: 内政部
彼得·费蒙维尔;马丁·齐默尔曼 参数线性动态逻辑。 (英语) Zbl 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) 全文: 内政部 arXiv公司
德克雷森佐,I。;拉托雷,S。;Y.Velner。 直观的下推模块化游戏。 (英语) Zbl 1362.68166号 Inf.计算。 253,第2部分,204-223(2017).MSC公司:60年第68季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{I.De Crescenzo}等人,《信息计算》。253,第2部分,204--223(2017;Zbl 1362.68166) 全文: 内政部
阿德里亚诺·佩隆(编辑);卡拉广场(编辑) 游戏、自动机、逻辑和形式验证(GandALF 2014)——前言。 (英语) Zbl 1360.00133号 Inf.计算。 253,第2部分,179-180(2017).MSC公司:00B25型 68-06 91-06 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Peron(编辑)和\textit{C.Piazza}(编辑),Inf.Compute。253,第2部分,179--180(2017;Zbl 1360.00133) 全文: 内政部 链接
伊利亚·特卡切夫;亚历山大·梅雷克莱;Joost-Pieter卡托恩;亚历山德罗·阿巴特 受控离散时间马尔可夫过程的定量模型检验。 (英语) Zbl 1359.68199号 Inf.计算。 253,第1部分,1-35(2017).MSC公司:60年第68季度 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{I.Tkachev}等人,《信息计算》。253,第1部分,1-35(2017;Zbl 1359.68199) 全文: 内政部 arXiv公司
伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 基于阈值的分布式算法有界模型检查的完备性:可达性。 (英语) Zbl 1355.68176号 Inf.计算。 252, 95-109 (2017).MSC公司:60年第68季度 68米15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人,《信息计算》。25295--109(2017年;Zbl 1355.68176) 全文: 内政部
亚历山大·凯撒;丹尼尔·克罗宁;托马斯·沃尔 迷失在抽象中:多线程程序中的单调性。 (英语) Zbl 1355.68055号 Inf.计算。 252, 30-47 (2017).MSC公司:68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaiser}等人,《信息计算》。252、30--47(2017年;Zbl 1355.68055) 全文: 内政部
阿夫尼,盖伊;奥尔纳·库普弗曼;塔米尔、塔米 有固定目标的网络形成游戏。 (英语) 兹比尔1353.91012 Inf.计算。 251, 165-178 (2016).MSC公司:91A43型 60年第68季度 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,《信息计算》。251、165--178(2016年;Zbl 1353.91012) 全文: 内政部
宋,傅;吴志林 关于数据变量量化的时序逻辑:可判定性和复杂性。 (英语) Zbl 1353.68181号 Inf.计算。 251, 104-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) 全文: 内政部
弗朗西斯科·加兰。;Cañete-Valdeón,JoséM。 用于检查一类无限量化定义的正逻辑程序的合成。 (英语) Zbl 1353.68050号 Inf.计算。 249, 205-236 (2016). 审核人:埃里克·马丁(悉尼) MSC公司:68号30 03B70号 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.J.Galán}和\textit{J.M.Cañete Valdeón},信息计算。249205-236(2016;Zbl 1353.68050) 全文: 内政部
拉尔斯·比克达尔;吉勒姆·贾伯;菲利普·西奇科夫斯基;雅各布·塔姆斯堡 基于效果的程序转换的Kripke逻辑关系。 (英语) Zbl 1345.68095号 Inf.计算。 249, 160-189 (2016).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人,《信息计算》。249160-189(2016;Zbl 1345.68095) 全文: 内政部
佩德罗·达吉尼奥。;丹尼尔·格布勒;李,马蒂亚斯·戴维 概率转移系统规范的通用SOS理论。 (英语) Zbl 1344.68163号 Inf.计算。 249, 76-109 (2016).MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}等人,《信息计算》。249、76-109(2016年;Zbl 1344.68163) 全文: 内政部
卢卡·博托卢西;米利奥斯、迪米特里奥斯;吉多·桑吉内蒂 不确定连续时间马尔可夫链的平滑模型检验。 (英语) Zbl 1336.68162号 Inf.计算。 247, 235-253 (2016).MSC公司:60年第68季度 60G15年 60J28型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人,《Inf.Compute》。247235-253(2016;Zbl 1336.68162) 全文: 内政部 arXiv公司
耶尔·梅勒;奥尔纳·格伦伯格;沙龙·肖姆 通过抽象再定义对多值系统进行组合验证的框架。 (英语) Zbl 1336.68166号 Inf.计算。 247, 169-202 (2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Meller}等人,《信息计算》。247169-202(2016;Zbl 1336.68166) 全文: 内政部
弗朗索瓦·拉鲁西尼;尼古拉斯·马基 用战略背景扩充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) 全文: 内政部
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 一种基于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) 全文: 内政部
亚历山德罗·西马蒂;马可·罗维里;斯特凡诺·托内塔 HRELTL:混合系统的时序逻辑。 (英语) 兹比尔1332.68139 Inf.计算。 245, 54-71 (2015).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《信息计算》。245、54-71(2015;Zbl 1332.68139) 全文: 内政部
哈,迈克尔;Kuo、Jim Huan-Pu;尼尔·皮特曼 平价博弈的拉宾指数:复杂性和近似性。 (英语) Zbl 1332.68060号 Inf.计算。 245, 36-53 (2015).MSC公司:19年第68季度 05C15号 05第57页 2017年第68季度 65年第68季度 91A43型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}等人,《信息计算》。245、36-53(2015;Zbl 1332.68060) 全文: 内政部
克里希南德·查特吉;劳伦特·多恩;雨果·金伯特;托马斯·亨辛格(Thomas A.Henzinger)。 免费提供随机性。 (英语) Zbl 1333.91008号 Inf.计算。 245, 3-16 (2015).MSC公司:91A43型 60年第68季度 第68季度87 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《信息计算》。245、3--16(2015年;Zbl 1333.91008) 全文: 内政部
安吉洛·蒙塔纳里(编辑);小狗,加布里埃尔(编辑);蒂齐亚诺别墅(编辑) 游戏、自动机、逻辑和形式验证(GandALF 2013)。 (英语) Zbl 1329.00223号 Inf.计算。 245, 1-2 (2015).MSC公司:00B25型 68-06 91-06 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}(编辑)等,《信息计算》。245,1--2(2015;Zbl 1329.00223) 全文: 内政部
李绿洲;冯、袁 量子马尔可夫链:混合系统的描述,等价性的可判定性,线性时间特性的模型检验。 (英语) Zbl 1329.68119号 Inf.计算。 244, 229-244 (2015).MSC公司:2012年第68季度 2005年第68季度 60年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{L.Li}和\textit{Y.Feng},Inf.Compute。244229-244(2015年;兹bl 1329.68119) 全文: 内政部 arXiv公司
安蒂·西尔托拉;朱哈Kortelainen 安全性能的多参数成分验证。 (英语) Zbl 1329.68173号 Inf.计算。 244, 23-48 (2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Siirtola}和\textit{J.Kortelainen},Inf.Comput。244、23-48(2015年;Zbl 1329.68173) 全文: 内政部
斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 驯服过去的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年;Zbl 1378.68112) 全文: 内政部
卢卡·博托卢西;简·希尔斯顿 通过流体近似对单个代理行为进行模型检查。 (英语) Zbl 1317.68108号 Inf.计算。 242, 183-226 (2015).MSC公司:60年第68季度 60J27型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{J.Hillston},Inf.Compute。242183-226(2015;Zbl 1317.68108) 全文: 内政部
克利斯朵夫·查尔顿;朱利安·布鲁内尔;戴维·谢穆伊尔 具有可撤销和可再融资策略的逻辑。 (英语) 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) 全文: 内政部
西蒙·巴斯德;查尔斯·佩彻;曲洪阳;佛朗哥·雷蒙迪 部分可观测性和无条件公平约束下无记忆策略的推理。 (英语) Zbl 1319.68141号 Inf.计算。 242128-156(2015年).MSC公司:60年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Busard}等人,Inf.计算。242、128——156(2015;Zbl 1319.68141) 全文: 内政部
贝内迪克特·布吕奇 通过确定性树自动机合成结构化反应式程序。 (英语) 兹比尔1317.68029 Inf.计算。 242, 108-127 (2015).MSC公司:68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Brütsch},信息计算。242108--127(2015;Zbl 1317.68029) 全文: 内政部 arXiv公司
劳拉·博泽利;巴斯蒂安·莫伯特;苏菲·平奇纳特 统一策略、理性关系和跳跃自动机。 (英语) Zbl 1319.68140号 Inf.计算。 242, 80-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) 全文: 内政部
凯尔·布罗格尔;沙龙·戈德堡;列奥尼德·雷津 从活板门排列进行延迟验证的序列聚合签名。 (英语) Zbl 1310.94175号 Inf.计算。 239, 356-376 (2014).MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{K.Brogle}等人,Inf.Compute。239356-376(2014年;Zbl 1310.94175) 全文: 内政部
西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 Krivine机器和高阶方案。 (英语) Zbl 1309.68073号 Inf.计算。 239, 340-355 (2014).MSC公司:2005年第68季度 03B40型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Salvati}和\textit{I.Walukiewicz},信息计算。239340-355(2014年;Zbl 1309.68073) 全文: 内政部
迈托·阿拉皮尼斯;玛丽·杜弗洛特 在安全协议中免费绑定消息–对各种安全属性的扩展。 (英语) Zbl 1309.68059号 Inf.计算。 239, 182-215 (2014).MSC公司:68第25页 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Arapinis}和\textit{M.Duflot},Inf.Comput。239182-215(2014年;Zbl 1309.68059) 全文: 内政部
塞尔吉·布尔苏克;科蒙·隆德,休伯特;斯特凡尼德劳恩 可重复性约束和盲签名。 (英语) Zbl 1360.94298号 Inf.计算。 238, 106-127 (2014).MSC公司:94A60型 68个M12 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bursuc}等人,《信息计算》。238106-127(2014年;Zbl 1360.94298) 全文: 内政部
罗伯托·贾科巴齐;弗朗西斯科·兰扎托 抽象解释的正确内核。 (英语) Zbl 1360.68363号 Inf.计算。 237, 187-203 (2014).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Giacobazzi}和\textit{F.Ranzato},Inf.Compute。237187--203(2014年;Zbl 1360.68363) 全文: 内政部
陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 植入式心脏起搏器与混合心脏模型的定量验证。 (英语) Zbl 1311.92100号 Inf.计算。 236, 87-101 (2014).MSC公司:92 C50 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,《信息计算》。23687--101(2014年;Zbl 1311.92100) 全文: 内政部
布里姆·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) 全文: 内政部
A.卡萨格兰德。;德罗西,T。;J·法布里科娃。;C.广场。 \(epsilon)-生物系统的语义计算。 (英语) Zbl 1312.68127号 Inf.计算。 236, 35-51 (2014).MSC公司:68问题55 65年第68季度 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Casagrande}等人,《信息计算》。23635--51(2014;Zbl 1312.68127) 全文: 内政部
班克斯,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) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 一种模序分类方程泛化算法。 (英语) Zbl 1314.68169号 Inf.计算。 235,98-136(2014). 审核人:Temur Kutsia(林茨) MSC公司:2012年第68季度 03B70号 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《Inf.Compute》。235、98——136(2014;Zbl 1314.68169) 全文: 内政部
奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基 缩小时间自动机。 (英语) Zbl 1285.68090号 Inf.计算。 234, 107-132 (2014).MSC公司:65年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Sankur}等人,《信息计算》。234107--132(2014年;Zbl 1285.68090) 全文: 内政部