朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 定性和定量目标相结合的博弈均衡。 (英语) Zbl 1483.68193号 学报信息。 58,编号6,585-610(2021).MSC公司:60年第68季度 03B44号 68T42型 91A80 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息学报》58,第6期,585--610(2021年;Zbl 1483.68193) 全文: 内政部 arXiv公司 链接
伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克特;马文·斯坦格;Leander Tentrup公司 超属性合成。 (英语) Zbl 1435.68194号 学报信息。 57,编号1-2,137-163(2020).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人,《信息学报》57,第1--2137-163期(2020年;Zbl 1435.68194) 全文: 内政部 arXiv公司
雷娜·迪米特洛娃;马哈萨·加西米;乌富克托普库 线性时序逻辑规范的最大可实现性的反应合成。 (英语) Zbl 1435.68193号 学报信息。 57,编号1-2,107-135(2020).MSC公司:60年第68季度 03B44号 65年第68季度 68兰特 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}等人,《学报》第57期,第1--2107-135号(2020年;Zbl 1435.68193) 全文: 内政部 arXiv公司 链接
迈克尔·卢滕伯格;菲利普·梅耶(Philipp J.Meyer)。;所罗门·西克特 通过奇偶博弈从LTL规范实际合成反应系统。 (英语) Zbl 1435.68200号 学报信息。 57,编号1-2,3-36(2020).MSC公司:60年第68季度 03B44号 65年第68季度 91年43月 91A80 PDF格式BibTeX公司 XML格式引用 \textit{M.Luttenberger}等人,《信息学报》57,第1--2、3--36期(2020年;Zbl 1435.68200) 全文: 内政部 arXiv公司
安德烈亚斯·克雷布斯;阿恩·梅尔;马丁·蒙德亨克 CTL操作员指纹检查模型。 (英语) Zbl 1423.68288号 学报信息。 56,第6期,487-519(2019).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Krebs}等人,《学报》第56期,第6期,第487--519页(2019年;Zbl 1423.68288) 全文: 内政部 arXiv公司
马苏德·易卜拉希米;古拉姆雷扎·索图德;阿里·莫瓦加尔 模糊程序图上模糊CTL的符号检查。 (英语) Zbl 1410.68224号 学报信息。 56,第1期,1-33页(2019年).MSC公司:60年第68季度 03B44号 03B52号 05C72号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ebrahimi}等人,《信息学报》56,第1期,1-33页(2019年;Zbl 1410.68224) 全文: 内政部
戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 用于监视实时属性的算法。 (英语) Zbl 1395.68185号 学报信息。 55,第4号,309-338(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,Acta Inf.55,No.4,309--338(2018;Zbl 1395.68185) 全文: 内政部
托法、哈泽姆;马丁·齐默尔曼 线性时间时序逻辑计数模型的复杂性。 (英语) 兹比尔1390.68441 学报信息。 55,第3期,191-212(2018).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Torfah}和\textit{M.Zimmermann},《学报》第55期,第3期,191--212(2018年;Zbl 1390.68441) 全文: 内政部 链接
马丁·齐默尔曼 参数化线性时序逻辑满足成本:仍然不比LTL更昂贵。 (英语) Zbl 1390.68445号 学报信息。 第55129-152号(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Zimmermann},《学报》第55期,第2期,第129--152页(2018年;Zbl 1390.68445) 全文: 内政部 arXiv公司
丰田隆树;上野,Atsushi;Masaya岛川;Shigeki Hagihara;直纪延崎 考虑最大可实现性的无安全LTL综合。 (英语) Zbl 1380.68285号 学报信息。 54,第7号,655-692(2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Tomita}等人,《学报》第54期,第7期,第655--692页(2017年;Zbl 1380.68285) 全文: 内政部
黄忠浩;斯文·舍韦;王法恩 模型检查迭代游戏。 (英语) Zbl 1380.68275号 学报信息。 54,第7号,625-654(2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.-H.Huang}等人,《学报》第54期,第7期,第625--654页(2017年;Zbl 1380.68275) 全文: 内政部
安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 具有等价关系的度量命题邻域逻辑。 (英语) 兹比尔1350.68185 学报信息。 53,编号6-8,621-648(2016).MSC公司:60年第68季度 03B25号 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,《学报》第53期,第6--8、621--648号(2016年;Zbl 1350.68185) 全文: 内政部 链接
阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;阿德里亚诺·佩隆 检查计算的间隔属性。 (英语) Zbl 1350.68184号 学报信息。 53,编号6-8,587-619(2016).MSC公司:60年第68季度 03B25号 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Molinari}等人,《学报》第53期,第6--8、587--619号(2016年;Zbl 1350.68184) 全文: 内政部 arXiv公司
马克·雷诺兹 重新审视度量时态逻辑。 (英语) 兹比尔1339.03019 学报信息。 53,第3号,301-324(2016). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},Acta Inf.53,No.3,301--324(2016;Zbl 1339.03019) 全文: 内政部
维克托·舒潘 通过时间分辨率提取LTL的不可满足核心。 (英语) Zbl 1338.68170号 学报信息。 53,编号3247-299(2016).MSC公司:60年第68季度 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},Acta Inf.53,No.3,247--299(2016;Zbl 1338.68170) 全文: 内政部 arXiv公司
Aceto,卢卡;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;Anna Ingólfsdóttir;安吉洛·蒙塔纳里;圭多·西亚维科 艾伦关系区间逻辑表达的完整分类:一般情况和密集情况。 (英语) Zbl 1339.03018号 学报信息。 53,第3期,207-246(2016). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《信息学报》53,第3期,207--246(2016;Zbl 1339.03018) 全文: 内政部 链接
马塞洛·M·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 用于确定连续时间度量时序逻辑的可满足性的工具。 (英语) Zbl 1336.68230号 学报信息。 53,第2期,171-206(2016).MSC公司:68吨15 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,Acta Inf.53,第2171-206号(2016;兹bl 1336.68230) 全文: 内政部 链接
约阿希姆·克莱因;拜尔,克里斯特尔;克吕佩尔霍尔茨,萨沙 大多数通用控制器的组成结构。 (英语) Zbl 1329.68186号 学报信息。 52,No.4-5,443-482(2015). 审核人:Jörg Desel(哈根) MSC公司:68问题85 03B44号 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{J.Klein}等人,《学报》第52期,第4--5、443--482号(2015年;Zbl 1329.68186) 全文: 内政部
埃琳·曼德拉利;乔治·拉霍尼斯 带折扣的加权一阶逻辑。 (英语) Zbl 1359.03017号 学报信息。 51,第2期,61-106(2014).MSC公司:03B44号 03B10号机组 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Mandrali}和\textit{G.Rahonis},《学报》第51期,第2期,第61-106页(2014年;Zbl 1359.03017) 全文: 内政部
拜尔,克里斯特尔;托马斯·布拉兹迪尔;马库斯·格勒;安东·库切拉 随机博弈逻辑。 (英语) Zbl 1276.68103号 学报信息。 49,第4期,203-224(2012). 审核人:Joost-Pieter Katoen(亚琛) MSC公司:60年第68季度 2017年第68季度 91A06型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《信息学报》第49期,第4期,第203-224页(2012年;Zbl 1276.68103) 全文: 内政部
劳拉·博泽利;Legay、Axel;苏菲·平奇纳特 并发定时游戏的定时交替模拟。 (英语) Zbl 1277.68165号 学报信息。 49,第4期,249-279(2012).MSC公司:68问题85 2017年第68季度 03B44号 91A06型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息学报》第49期,第4期,第249--279页(2012年;Zbl 1277.68165) 全文: 内政部 链接
克里斯蒂安·达克斯;费利克斯·克莱特克;马丁·兰格 关于常规时间逻辑与过去。 (英语) Zbl 1214.68211号 学报信息。 47,第4期,251-277(2010).MSC公司:60年第68季度 03B44号 05年3月 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dax}等人,《学报》第47期,第4期,第251--277页(2010年;Zbl 1214.68211) 全文: 内政部 链接
段振华;田聪;张莉 具有无限模型的命题投影时序逻辑的决策过程。 (英语) Zbl 1141.68039号 学报信息。 45,第1期,43-78(2008).MSC公司:60年第68季度 03B44号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,《信息学报》第45期,第1期,第43-78页(2008年;Zbl 1141.68039) 全文: 内政部
安东·库切拉;斯特雷切克,简 重新审视了口吃原则。 (英语) Zbl 1079.03008号 学报信息。 41,编号7-8,415-434(2005).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{J.Strejček},《学报》第41期,第7--8期,第415--434页(2005年;Zbl 1079.03008) 全文: 内政部
尼古拉斯·马基 过去是免费的:关于用过去验证线性时间属性的复杂性。 (英语) Zbl 1084.68073号 学报信息。 40,编号6-7,431-458(2004).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey},Acta Inf.40,No.6--7,431--458(2004;Zbl 1084.68073) 全文: 内政部 哈尔
阿尔弗雷多·布里耶扎;de Guzmán,Inma P。 时态\(\times\)模态逻辑的一种函数方法。 (英语) Zbl 1024.03018号 学报信息。 39,第2期,71-96(2003). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Burrieza}和\textit{I.P.de Guzmán},《学报》第39期,第2期,第71-96页(2003年;Zbl 1024.03018) 全文: 内政部
科尔德罗,P。;恩西索,M。;德古兹曼,I.P。 时态逻辑中隐式和蕴涵的闭集的基础。 (英语) Zbl 1034.68087号 学报信息。 38,第9号,599-619(2002).MSC公司:68T27型 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Cordero}等人,《信息学报》38,第9期,599--619(2002年;Zbl 1034.68087) 全文: 内政部
萨尔瓦多拉托雷;那不勒斯,玛格丽塔 带有时态逻辑应用程序的时间树自动机。 (英语) Zbl 1033.68065号 学报信息。 38,第2期,第89-116页(2001年).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}和\textit{M.Napoli},Acta Inf.38,第2号,89-116(2001年;Zbl 1033.68065) 全文: 内政部
汉斯·迪特·埃里奇;卡洛斯·卡莱罗 指定分布式信息系统中的通信。 (英语) Zbl 0949.03029号 学报信息。 36,第8期,591-616(2000).MSC公司:03B70号 68M10个 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Ehrich}和\textit{C.Caleiro},《学报》第36期,第8期,第591--616页(2000年;Zbl 0949.03029) 全文: 内政部
阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;卡洛斯·卡莱罗 对象规范的表示语义。 (英语) Zbl 0910.68136号 学报信息。 35,第9号,729-773(1998). 审核人:Amílcar Sernadas(里斯本) MSC公司:68问题55 68N99型 PDF格式BibTeX公司 XML格式 全文: 内政部
亚历山大·图志林;Zvi M.凯登。 使用关系转换系统对数据密集型反应系统进行建模。 (英语) Zbl 0849.68084号 学报信息。 33,第3期,203-231(1996). 审核人:A.Tuzhilin(纽约) MSC公司:68问题80 68N17号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Tuzhilin}和\textit{Z.M.Kedem},《学报》第33期,第3期,第203--231页(1996年;Zbl 0849.68084) 全文: 内政部
亚历山大·图志林 使用时态逻辑查询数据日志程序。 (英语) Zbl 0790.68033号 学报信息。 30,第7号,679-700(1993).MSC公司:第68页,共15页 68T99型 68问题55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Tuzhilin},Acta Inf.30,第7号,679-700(1993年;Zbl 0790.68033) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 反应性模型。 (英语) Zbl 0790.68041号 学报信息。 30,第7期,609-678(1993).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},《学报参考》30,第7期,609--678(1993;Zbl 0790.68041) 全文: 内政部
利奥·马库斯;梅纳斯、特利斯 输出的可表达性等于输入。消极和积极的结果。 (英语) Zbl 0790.68073号 学报信息。 29,编号6-7,645-662(1992). 审核人:L.Marcus(洛杉矶) MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Marcus}和\textit{T.Menas},《学报》第29期,第6--7645--662号(1992;Zbl 0790.68073) 全文: 内政部
莫德凯·本·阿里;阿米尔·普努利;佐哈尔·曼纳 分支时间的时间逻辑。 (英语) Zbl 0533.68036号 学报信息。 20, 207-226 (1983).MSC公司:第68季度第65季度 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ben-Ari}等人,《信息学报》20,207--226(1983;Zbl 0533.68036) 全文: 内政部
基耶,J.P。;J.西法基斯。 过渡系统中的公平性和相关属性——处理公平的时序逻辑。 (英语) Zbl 0489.68024号 学报信息。 19, 195-220 (1983).MSC公司:第68季度第65季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Queille}和\textit{J.Sifakis},《学报》第19期,195-220页(1983年;Zbl 0489.68024) 全文: 内政部
Hirokazu西村 描述完整的流程逻辑。 (英语) Zbl 0423.68005号 学报信息。 14, 359-369 (1980).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{西村H.Nishimura},Acta Inf.14,359--369(1980;Zbl 0423.68005) 全文: 内政部
莱斯利·兰波特 并发程序的“霍尔逻辑”。 (英语) Zbl 0416.68032号 学报信息。 14, 21-37 (1980).MSC公司:第68季度第65季度 60年第68季度 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},Acta Inf.14,21--37(1980;Zbl 0416.68032) 全文: 内政部