帕斯奎尔·安东尼特;希思·G·尼尔森。;卢卡·卡隆 感知系统的监测:确定性、概率性和基于学习的故障检测和识别。 (英语) Zbl 1530.93308号 Artif公司。智力。 325,文章ID 103998,35 p.(2023).MSC公司:93C85号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Antonante}等人,Artif。智力。325,文章ID 103998,35 p.(2023;Zbl 1530.93308) 全文: 内政部 arXiv公司
朱利安·古铁雷斯;科瓦拉(Szymon Kowara);萨里特·克劳斯;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 合作并发游戏。 (英语) Zbl 07638284号 Artif公司。智力。 314,文章ID 103806,26 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。314,文章ID 103806,26 p.(2023;Zbl 07638284) 全文: 内政部 arXiv公司
马修·克利夫兰;林德曼,拉尔斯;拉多斯拉夫·伊万诺夫;乔治·帕帕斯。 具有神经网络控制器的随机系统的风险验证。 (英语) Zbl 07613160号 Artif公司。智力。 313,文章ID 103782,27 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{M.Cleaveland}等人,Artif。智力。313,文章ID 103782,27 p.(2022;Zbl 07613160) 全文: 内政部 arXiv公司
本杰明·比特纳;马可·波扎诺;亚历山德罗·西马蒂;马可·加里奥;斯特凡诺·托内塔;维克多利亚沃扎洛娃 公平过渡系统的可诊断性。 (英语) Zbl 1491.68107号 Artif公司。智力。 309,文章ID 103725,39 p.(2022).MSC公司:60年第68季度 90B25型 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{B.Bittner}等人,Artif。智力。309,文章ID 103725,39 p.(2022;Zbl 1491.68107) 全文: 内政部
本杰明·阿米诺夫;阿尼埃洛·穆拉诺;萨沙·鲁宾;弗洛里安·祖勒格 在部分已知环境中验证代理导航。 (英语) Zbl 1495.68234号 Artif公司。智力。 308,文章ID 103724,34 p.(2022).MSC公司:68T42型 03B44号 65年第68季度 60年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,Artif。智力。308,文章ID 103724,34 p.(2022;Zbl 1495.68234) 全文: 内政部
阿莱西奥·洛穆西奥;埃多尔多·皮罗瓦诺 一种用于验证概率群系统特性的反抽象技术。 (英语) Zbl 07505976号 Artif公司。智力。 305,文章ID 103666,23 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}和\textit{E.Pirovano},Artif。智力。305,文章ID 103666,23 p.(2022;Zbl 07505976) 全文: 内政部 链接
弗朗西斯科·贝拉迪内利;斯特凡·德姆里 有限资源的战略推理:对可驾驭性的追求。 (英语) Zbl 1520.68183号 Artif公司。智力。 300,文章ID 103557,35 p.(2021).MSC公司:第68页第27页 03B44号 65年第68季度 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}和\textit{S.Demri},Artif。智力。300,文章ID 103557,35 p.(2021;Zbl 1520.68183) 全文: 内政部 哈尔
姜桂飞;张东墨;劳伦特·佩鲁塞尔;张恒 认识GDL:一种描述和推理不完美信息游戏的逻辑。 (英语) Zbl 1519.68252号 Artif公司。智力。 294,文章ID 103453,22 p.(2021).MSC公司:第68页第27页 65年第68季度 60年第68季度 68立方英尺 91A27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Jiang}等人,Artif。智力。294,文章ID 103453,22 p.(2021;Zbl 1519.68252) 全文: 内政部 哈尔
朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 自动时间均衡分析:多层游戏的验证和合成。 (英语) Zbl 1493.68360号 Artif公司。智力。 287,文章ID 103353,26 p.(2020).MSC公司:68T42型 60年第68季度 91A06型 91年10月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。287,文章ID 103353,26 p.(2020;Zbl 1493.68360) 全文: 内政部 arXiv公司
汉斯·范·迪特马什;范德霍克,威比;Louwe B.Kuijer。 流言蜚语的逻辑。 (英语) Zbl 1493.68346号 Artif公司。智力。 286,文章ID 103306,26 p.(2020).MSC公司:第68页第27页 03B42号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,Artif。智力。286,文章ID 103306,26 p.(2020;Zbl 1493.68346) 全文: 内政部 哈尔
弗朗西斯科·贝拉迪内利;阿莱西奥·洛穆西奥;阿尼埃洛·穆拉诺;萨沙·鲁宾 针对策略逻辑,验证具有公共操作的多代理系统。 (英语) 兹比尔1451.68290 Artif公司。智力。 285,文章ID 103302,28 p.(2020).MSC公司:68T42型 60年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,Artif。智力。285,文章ID 103302,28 p.(2020;Zbl 1451.68290) 全文: 内政部 链接
沃伊切赫·贾姆罗加;米查·纳皮克;达米安·库皮耶夫斯基;乌卡斯·米库尔斯基 不完全信息下战略能力的近似验证。 (英语) Zbl 1478.68384号 Artif公司。智力。 277,文章ID 103172,第30页(2019).MSC公司:68T42型 03B44号 60年第68季度 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Artif。智力。277,文章ID 103172,30 p.(2019;Zbl 1478.68384) 全文: 内政部 链接
沃伊切赫·贾姆罗加;瓦迪姆·马尔文;阿尼埃洛·穆拉诺 天生的战略能力。 (英语) Zbl 1478.68385号 Artif公司。智力。 277,文章ID 103170,33 p.(2019).MSC公司:68T42型 03B44号 60年第68季度 68问题85 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Artif。智力。277,文章ID 103170,33 p.(2019;Zbl 1478.68385) 全文: 内政部 链接
多萝西娅·鲍迈斯特;丹尼尔·纽格鲍尔;约尔格·罗特;希尔马尔·沙德拉克 在不完整的论证框架中进行验证。 (英语) Zbl 1478.68343号 Artif公司。智力。 264, 1-26 (2018).MSC公司:第68页第27页 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Baumeister}等人,Artif。智力。264,1--26(2018;Zbl 1478.68343) 全文: 内政部
Á. 阿尔瓦罗·托拉尔巴;卡洛斯·利纳雷斯·洛佩兹;博拉霍,丹尼尔 用于成本最优规划的符号边界抽象启发法。 (英语) Zbl 1445.68199号 Artif公司。智力。 259, 1-31 (2018).MSC公司:68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Á.Á.Torralba}等人,人工制品。智力。259,1--31(2018;Zbl 1445.68199) 全文: 内政部
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 从模型检查到平衡检查:用于理性验证的反应性模块。 (英语) Zbl 1420.68129号 Artif公司。智力。 248, 123-157 (2017).MSC公司:60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。248123-157(2017;Zbl 1420.68129) 全文: 内政部 链接
娜塔莎·亚历奇纳;牛,尼尔斯;布赖恩·洛根;Nguyen,黄岩 空闲的优点:资源代理逻辑的一个可判定片段。 (英语) Zbl 1402.68122号 Artif公司。智力。 245, 56-85 (2017).MSC公司:60年第68季度 03B25号 03B44号 第68页第27页 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人,Artif。智力。245、56-85(2017;Zbl 1402.68122) 全文: 内政部
朱塞佩·德·贾科莫;伊夫莱斯佩伦斯;法比奥·帕特里齐 有界情境演算行动理论。 (英语) Zbl 1357.68227号 Artif公司。智力。 237, 172-203 (2016).MSC公司:68立方英尺 60年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,Artif。智力。237172-203(2016;Zbl 1357.68227) 全文: 内政部 arXiv公司 链接
林方珍 一阶逻辑中程序的形式化,具有离散线性顺序。 (英语) Zbl 1352.68065号 Artif公司。智力。 235, 1-25 (2016).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin},人工制品。智力。235,1--25(2016;Zbl 1352.68065) 全文: 内政部
帕纳吉奥蒂斯·库瓦罗斯;阿莱西奥·洛穆西奥 多智能体系统的参数化验证。 (英语) Zbl 1351.68294号 Artif公司。智力。 234, 152-189 (2016).MSC公司:68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Kouvaros}和\textit{A.Lomuscio},人工制品。智力。234152--189(2016;Zbl 1351.68294) 全文: 内政部
米盖尔·卡里略;David A.Rosenblueth。 通过保护对克里普克模型进行CTL更新。 (英语) Zbl 1405.68180号 Artif公司。智力。 211, 51-74 (2014).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Carrillo}和\textit{D.A.Rosenblueth},Artif。智力。211、51-74(2014;Zbl 1405.68180) 全文: 内政部
萨科特·乔希;克里斯蒂安·凯斯廷;罗尼·哈尔顿 带有广义一阶决策图的决策理论规划。 (英语) Zbl 1252.68274号 Artif公司。智力。 175,第18号,2198-2222(2011).MSC公司:第68页第27页 60年第68季度 68立方英尺 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Joshi}等人,Artif。智力。175,第18号,2198--2222(2011;Zbl 1252.68274) 全文: 内政部
斯利瓦斯塔瓦(Siddharth Srivastava);尼尔·伊梅尔曼;什洛莫Zilberstein 广义规划的一种新表示和相关算法。 (英语) Zbl 1216.68253号 Artif公司。智力。 175,第2期,615-647(2011).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Srivastava}等人,Artif。智力。175,No.2,615--647(2011;Zbl 1216.68253) 全文: 内政部
阿莱西奥·洛穆西奥;沃伊切赫·彭泽克;沃纳、博埃纳 知识和实时的有界模型检查。 (英语) Zbl 1168.68422号 Artif公司。智力。 171,第16-17号,1011-1038(2007).MSC公司:60年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}等人,Artif。智力。171,编号16--17,1011--1038(2007;Zbl 1168.68422) 全文: 内政部
贝拉迪,丹妮拉;迭戈·卡尔瓦内斯;朱塞佩·德·贾科莫 UML类图上的推理。 (英语) Zbl 1132.68747号 Artif公司。智力。 168,第1-2号,70-118(2005).MSC公司:68立方英尺 第68页第27页 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Berardi}等人,Artif。智力。168,编号1--2,70-118(2005;Zbl 1132.68747) 全文: 内政部
Cimatti,A。;M·皮斯托尔。;M.罗维里。;特拉弗索,P。 通过符号模型检查进行弱、强和强循环规划。 (英语) Zbl 1082.68800号 Artif公司。智力。 147,编号1-2,35-84(2003).MSC公司:68T20型 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。147,编号1--2,35-84(2003;Zbl 1082.68800) 全文: 内政部
克莱尔·迪克森;迈克尔·费希尔;亚历山大·博洛托夫 理性代理逻辑中的条款解决。 (英语) Zbl 1015.68170号 Artif公司。智力。 139,第1期,47-89(2002).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人,人工制品。智力。139,第1号,47--89(2002;Zbl 1015.68170) 全文: 内政部
达斯古普塔,P。;查克拉巴蒂,P.P。;德卡,J.K。;桑卡拉纳拉亚南,S。 最小最大计算树逻辑。 (英语) Zbl 0976.68104号 Artif公司。智力。 127,第1期,137-162(2001).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Dasgupta}等人,Artif。智力。127,第1号,137--162(2001;Zbl 0976.68104) 全文: 内政部
莫斯特曼,P.J。;G.比斯瓦斯。 构建物理系统混合模型的综合方法。 (英语) Zbl 0948.68210号 Artif公司。智力。 121,编号1-2,171-209(2000).MSC公司:68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Mosterman}和\textit{G.Biswas},阿蒂夫。智力。121,编号1--2,171-209(2000;Zbl 0948.68210) 全文: 内政部
弗朗西斯科·布卡弗里;托马斯·艾特;乔治·戈特洛布;尼古拉·利昂 利用人工智能技术加强验证中的模型检查。 (英语) Zbl 0996.68104号 Artif公司。智力。 112,编号1-2,57-104(1999).MSC公司:60年第68季度 第68页第27页 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Buccafurri}等人,Artif。智力。112,编号1--2,57-104(1999;Zbl 0996.68104) 全文: 内政部
格哈德·弗里德里希;马库斯·斯坦普特纳;弗兰茨·沃塔瓦 基于模型的硬件设计诊断。 (英语) Zbl 0996.68210号 Artif公司。智力。 111,第1-2、3-39号(1999年).MSC公司:68T99型 60年第68季度 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{G.Friedrich}等人,Artif。智力。111,编号1--2,3--39(1999;Zbl 0996.68210) 全文: 内政部
巴罗尼,P。;兰佩蒂,G。;Pogliano,P。;M.扎内拉。 大型主动系统的诊断。 (英语) Zbl 0996.68209号 Artif公司。智力。 110,第1期,135-183(1999).MSC公司:68T99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baroni}等人,Artif。智力。110,第1号,135--183(1999;Zbl 0996.68209) 全文: 内政部
阿隆·利维。;玛丽·克里斯汀·罗塞特 基于包含检查的知识库验证。 (英语) Zbl 0909.68172号 Artif公司。智力。 101,编号1-2,227-250(1998).MSC公司:68立方英尺 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Y.Levy}和\textit{M.-C.Rousset},阿蒂夫。智力。101,编号1--2,227--250(1998;Zbl 0909.68172) 全文: 内政部
Ajay D.Kshemkalyani。 分布式非原子事件之间因果关系的推理。 (英语) Zbl 1017.68540号 Artif公司。智力。 92,编号1-2301-315(1997).MSC公司:第68页第27页 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Kshemkalyani},阿蒂夫。智力。92,编号1--2,301-315(1997;Zbl 1017.68540) 全文: 内政部
本杰明·舒尔茨;本杰明·库珀斯。 连续系统的性质证明:定性模拟和时序逻辑。 (英语) Zbl 1017.68514号 Artif公司。智力。 92,编号1-2,91-129(1997).MSC公司:60年第68季度 03B44号 65升70 PDF格式BibTeX公司 XML格式引用 \textit{B.Shults}和\textit{B.J.Kuipers},阿蒂夫。智力。92,编号1--2,91-129(1997;Zbl 1017.68514) 全文: 内政部
David A.Plaisted。 简化的问题简化格式。 (英语) Zbl 0497.68058号 Artif公司。智力。 18, 227-261 (1982).MSC公司:68吨15 68T20型 60年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Plaisted},阿蒂夫。智力。18、227--261(1982;Zbl 0497.68058) 全文: 内政部