玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜 重温了有序等式推广算法。 (英语) Zbl 07517439号 安。数学。Artif公司。智力。 90,第5期,499-522(2022).MSC公司:68N17号 68甲18 2012年第68季度 第68季度第60季度 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《数学年鉴》。Artif公司。智力。90,第5号,499--522(2022;Zbl 07517439) 全文: 内政部
安东尼奥·迪·斯塔西奥;阿尼埃洛·穆拉诺;文森佐·普里格纳诺;洛雷达纳·索伦蒂诺 在实践中改进平价博弈。 (英语) Zbl 1507.68184号 安。数学。Artif公司。智力。 89,编号5-6,551-574(2021).MSC公司:第68季度第60季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Di Stasio}等人,《数学年鉴》。Artif公司。智力。89,编号5--6,551--574(2021;Zbl 1507.68184) 全文: 内政部
朱塞佩·德贾科莫;尤金妮亚·特诺夫斯卡;雷·赖特 情境演算中的非终结过程。 (英语) Zbl 1444.68179号 安。数学。Artif公司。智力。 88,编号5-6,623-640(2020).MSC公司:68T27型 68N17号 第68季度第60季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,《数学年鉴》。Artif公司。智力。88,编号5--6623--640(2020;Zbl 1444.68179) 全文: 内政部 链接
亚历杭德罗·桑切斯;塞萨尔·桑切斯 参数化验证图:对称参数化并发系统的时间验证。 (英语) Zbl 1419.68064号 安。数学。Artif公司。智力。 80,编号3-4,249-282(2017).MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Sánchez}和\textit{C.Sátchez}.安.数学。Artif公司。智力。80,编号3--4,249--282(2017;Zbl 1419.68064) 全文: 内政部
靖国冢田;樱田秀树;肯·马诺;吉福满·马纳贝 关于认知逻辑中匿名性和隐私性的合成推理。 (英语) 兹比尔1403.03051 安。数学。Artif公司。智力。 78,第2期,101-129(2016).MSC公司:03B70号 03B42号 68第25页 68页30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Tsukada}等人,《数学年鉴》。Artif公司。智力。78,第2号,101--129(2016;Zbl 1403.03051) 全文: 内政部
奥尔纳·库普弗曼;朱塞佩·佩雷利;莫舍·瓦尔迪。 合理环境的合成。 (英语) Zbl 1372.68173号 安。数学。Artif公司。智力。 78,第1期,3-20(2016).MSC公司:第68季度第60季度 03B70号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《数学年鉴》。Artif公司。智力。78,第1号,第3--20号(2016;Zbl 1372.68173) 全文: 内政部
米罗斯拉夫·韦列夫。(编辑);约翰·佛朗哥(编辑) 约束在形式验证和人工智能中的应用。 (英语) Zbl 1296.00043号 安。数学。Artif公司。智力。 70,第4期,313-314(2014).MSC公司:00B15号机组 68-06 第68季度第60季度 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Velev}(编辑)和textit{J.Franco}(主编),《数学年鉴》。Artif公司。智力。70,第4号,313--314(2014;Zbl 1296.00043) 全文: 内政部
迈克尔·汉森。;潘安登;布雷克林(Aske W.Brekling)。 使用Presburger算法对持续时间演算进行模型检查的实用方法。 (英语) Zbl 1315.68180号 安。数学。Artif公司。智力。 71,编号1-3,251-278(2014).MSC公司:第68季度第60季度 03B44号 03B70号 30楼03号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Hansen}等人,《数学年鉴》。Artif公司。智力。71,编号1--3,251--278(2014;Zbl 1315.68180) 全文: 内政部
本·莫斯科夫斯基 使用区间和时间反转进行组合推理。 (英语) Zbl 1378.03017号 安。数学。Artif公司。智力。 71,编号1-3,175-250(2014).MSC公司:03B44号 03B70号 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski},Ann.数学。Artif公司。智力。71,编号1--3,175-250(2014;Zbl 1378.03017) 全文: 内政部
格哈德·谢尔霍恩;博格丹·托凡;吉登·恩斯特;约格·佩勒;沃尔夫冈·雷夫 RGITL:用于对交错程序进行组合推理的时间逻辑框架。 (英语) Zbl 1329.68172号 安。数学。Artif公司。智力。 71,编号1-3,131-174(2014). 审核人:马丁·兰格(卡塞尔) MSC公司:第68季度第60季度 03B44号 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn}等人,《数学年鉴》。Artif公司。智力。71,编号1--3,131-174(2014;Zbl 1329.68172) 全文: 内政部
本·莫斯科夫斯基(编辑);格列夫,迪米塔尔(编辑);Leucker,马丁(编辑) 客座编辑为《间隔时间逻辑》专刊撰写的前言。 (英语) Zbl 1298.00328号 安。数学。Artif公司。智力。 71,编号1-3,1-9(2014).MSC公司:00B25型 03-06 68-06 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski}(编辑)等,《数学年鉴》。Artif公司。智力。71,编号1--3,1--9(2014;Zbl 1298.00328) 全文: 内政部
戈皮纳德·西里吉尼迪;安东尼奥斯·索尔多斯;布莱恩·怀特(Brian A.White)。;拉法·比科夫斯基 多无人机系统时间规范的克里普克建模和验证。 (英语) Zbl 1242.68171号 安。数学。Artif公司。智力。 63,第1期,31-52(2011).MSC公司:第68季度第60季度 68T40型 93C85号 03B44号 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.Sirigineedi}等人,《数学年鉴》。Artif公司。智力。63、第1号、第31-52号(2011;Zbl 1242.68171) 全文: 内政部
亨森·格雷夫斯;伊冯·比扬 在航空航天设计和工程中使用SysML的形式化方法。 (英语) Zbl 1261.68087号 安。数学。Artif公司。智力。 63,第1期,53-102(2011).MSC公司:第68季度第60季度 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.Graves}和\textit{Y.Bijan},安.数学。Artif公司。智力。63,第1号,53-102(2011年;兹bl 1261.68087) 全文: 内政部
卢卡·普利纳;阿曼多·塔切拉 从未:用于人工神经网络验证的工具。 (英语) Zbl 1251.68143号 安。数学。Artif公司。智力。 62,编号3-4,403-425(2011).MSC公司:第68季度第60季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Pulina}和\textit{A.Taccella},Ann.数学。Artif公司。智力。62,编号3--4,403--425(2011;Zbl 1251.68143) 全文: 内政部
Michael Leuschel先生;蒂埃里·马萨特 通过对称标记对B和Z模型进行有效的近似验证。 (英语) Zbl 1209.68127号 安。数学。Artif公司。智力。 59,第1期,81-106(2010).MSC公司:68号30 第68季度第60季度 68兰特 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}和\textit{T.Massart},安·数学。Artif公司。智力。59,第1号,81--106(2010;Zbl 1209.68127) 全文: 内政部
阿拉斯泰尔·唐纳森。;爱丽丝·米勒 关于构造轨道问题。 (英语) Zbl 1205.68220号 安。数学。Artif公司。智力。 57,第1期,1-35页(2009年).MSC公司:第68季度第60季度 68号30 68单位07 20对25 20E22型 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}和\textit{A.Miller},Ann.数学。Artif公司。智力。57,第1号,1-35(2009;Zbl 1205.68220) 全文: 内政部
里奥布,雷诺 FoCaL语言的不变量。 (英语) Zbl 1184.68467号 安。数学。Artif公司。智力。 56,编号3-4,273-296(2009).MSC公司:68吨15 68瓦30 第68季度第60季度 68问题65 68N99型 08A99号 PDF格式BibTeX公司 XML格式引用 \textit{R.Rioboo},Ann.数学。Artif公司。智力。56,编号3--4,273--296(2009;Zbl 1184.68467) 全文: 内政部
博什纳奇·德拉甘;伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德 基于交换性的边缘精益搜索。 (英语) Zbl 1185.68407号 安。数学。Artif公司。智力。 56,第2期,187-210(2009).MSC公司:第68季度第60季度 68T99型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Bošnački}等人,《数学年鉴》。Artif公司。智力。56,编号2187-210(2009年;兹bl 1185.68407) 全文: 内政部
彼得·霍夫纳;乔治·斯特鲁斯;杰夫·萨特克利夫 自动验证精炼法。 (英语) Zbl 1184.68463号 安。数学。Artif公司。智力。 55,编号1-2,35-62(2009).MSC公司:68吨15 03G25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}等人,Ann.Math。Artif公司。智力。55,编号1--2,35-62(2009;Zbl 1184.68463) 全文: 内政部 链接
特里斯坦·M·贝伦斯。;尤尔根·迪克斯 使用基于逻辑的Petri网对多agent系统进行模型检查。 (英语) Zbl 1137.68054号 安。数学。Artif公司。智力。 51,编号2-4,81-121(2007).MSC公司:68T27型 68N17号 第68季度第60季度 第68季度85 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Behrens}和\textit{J.Dix},Ann.数学。Artif公司。智力。51,编号2--4,81-121(2007;Zbl 1137.68054) 全文: 内政部
尤利亚·科鲁霍娃 函数程序的自动演绎综合方法。 (英语) Zbl 1125.68030号 安。数学。Artif公司。智力。 50,编号3-4,255-271(2007).MSC公司:68甲18 68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Korukhova},Ann.数学。Artif公司。智力。50,编号3--4,255-271(2007;Zbl 1125.68030) 全文: 内政部
劳拉·佐丹奴;阿尔贝托·马泰利 动态线性时间时序逻辑的基于表的自动机构造。 (英语) Zbl 1112.03014号 安。数学。Artif公司。智力。 46,第3期,289-315(2006).MSC公司:03B44号 05年3月 68号30 第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{A.Martelli},Ann.数学。Artif公司。智力。46,第3号,289--315(2006;Zbl 1112.03014) 全文: 内政部
亚历山大·博洛托夫;阿提·巴苏科斯基 分支时间逻辑(text{ECTL}^+\)的子句解析方法。 (英语) Zbl 1112.03010号 安。数学。Artif公司。智力。 46,第3期,235-263(2006).MSC公司:03B35型 03B44号 68号30 第68季度第60季度 第68季度85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}和\textit{A.Basukoski},Ann。数学。Artif公司。智力。46,第3号,235--263(2006;Zbl 1112.03010) 全文: 内政部
Paula Gouveia;詹姆·拉莫斯 多代理系统规范和认证:一种情况和状态演算方法。 (英语) Zbl 1081.68053号 安。数学。Artif公司。智力。 41,编号2-4,301-338(2004).MSC公司:第68季度第60季度 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Gouveia}和\textit{J.Ramos},Ann.数学。Artif公司。智力。41、编号2--4、301-338(2004;Zbl 1081.68053) 全文: 内政部
帕特里夏·约翰;埃尔科·维瑟 Stratego中的热融合:程序转换系统生成的案例研究。 (英语) Zbl 1014.68034号 安。数学。Artif公司。智力。 29,编号1-4,1-34(2000).MSC公司:68甲15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Johann}和\textit{E.Visser},Ann.Math。Artif公司。智力。29,编号1--4,1-34(2000;Zbl 1014.68034) 全文: 内政部
陆建国;约翰·米洛波洛斯;马塞特鲁·哈罗;Masami Hagiya 高阶泛化及其在程序验证中的应用。 (英语) Zbl 1001.68072号 安。数学。Artif公司。智力。 28,编号1-4,107-126(2000).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Lu}等人,《数学年鉴》。Artif公司。智力。28,编号1--4,107-126(2000;Zbl 1001.68072) 全文: 内政部
Wieringa,R.J。;梅耶,J.-J.Ch 规范体系规范中的参与者、行动和倡议。 (英语) Zbl 0976.03514号 安。数学。Artif公司。智力。 7,第1-4号,289-346(1993).MSC公司:03B70号 03B45号 第68季度第60季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Wieringa}和\textit{J.J.C.Meyer},Ann.数学。Artif公司。智力。7,编号1--4,289--346(1993;Zbl 0976.03514) 全文: 内政部
科宁,J。 分层容错系统的自顶向下开发及其问题——道义观点。 (英语) Zbl 0866.68064号 安。数学。Artif公司。智力。 9,编号1-2133-150(1993).MSC公司:第68季度第60季度 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.科宁},安.数学。Artif公司。智力。9,编号1--2,133-150(1993;Zbl 0866.68064) 全文: 内政部
马克·瑞恩 制定规范。 (英语) 兹伯利0866.03019 安。数学。Artif公司。智力。 9,编号1-2,49-67(1993).MSC公司:03B80号 第68季度第60季度 03B60号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ryan},安。数学。Artif公司。智力。9,编号1--2,49-67(1993;Zbl 0866.03019) 全文: 内政部
Wieringa,R.J。;魏甘德,H。;梅耶,J.-J.Ch。;迪格纳姆,F.P.M。 继承动态和道义诚信约束或:老板有更多权利吗? (英语) Zbl 0873.68134号 安。数学。Artif公司。智力。 3,编号2-4393-428(1991).MSC公司:第68季度第60季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Wieringa}等人,《数学年鉴》。Artif公司。智力。3,编号2--4,393--428(1991;Zbl 0873.68134) 全文: 内政部