弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫·贾姆罗加;米查尔·科纳皮克 通过应用三选票投票协议验证战略能力的相互模拟。 (英语) Zbl 1497.68287号 Inf.计算。 276,文章ID 104552,25 p.(2021).MSC公司:60年第68季度 03B44号 68T42型 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,《信息计算》。276,文章ID 104552,25 p.(2021;Zbl 1497.68287) 全文: 内政部 arXiv公司 链接
沃伊切赫·贾姆罗加;米夏·克纳皮克;达米安·库尔皮夫斯基;乌卡斯·米库尔斯基 不完全信息下战略能力的近似验证。 (英语) Zbl 1478.68384号 Artif公司。智力。 277,文章ID 103172,30 p.(2019).MSC公司:68T42型 03B44号 60年第68季度 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Artif。智力。277,文章ID 103172,30页(2019;兹bl 1478.68384) 全文: 内政部 链接
罗恩·范德梅登;马纳斯·K·帕特拉。 模型检验概率时间认知逻辑的不确定案例(扩展抽象)。 (英语) 兹比尔1483.68210 Ramanujam,R.(编辑),《第十五届理性与知识理论方面会议论文集》,TARK 2015,卡内基梅隆大学,美国匹兹堡,2015年6月4-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)215264-282(2016)。MSC公司:60年第68季度 03B25号 03B42型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.van der Meyden}和\textit{M.K.Patra},电子。程序。西奥。计算。科学。(EPTCS)215264--282(2016;Zbl 1483.68210) 全文: arXiv公司 链接
沃纳·什尼亚克(Bożena);安德烈·兹布雷泽兹尼 通过有界模型检查检查定时解释系统的EMTLK属性。 (英语) Zbl 1417.68106号 螺柱日志。 104,第4期,641-678(2016).MSC公司:60年第68季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Woźna-Szcze shi niak}和\textit{A.Zbrzezny},研究日志。104、4号、641--678(2016;Zbl 1417.68106) 全文: 内政部
汉斯·范·迪特马什;范德霍克,威比;阮,季 连接动态认知逻辑和时间认知逻辑。 (英语) Zbl 1285.03008号 日志。J.IGPL公司 21,第3期,380-403(2013). 审核人:Audrey Yap(维多利亚州) MSC公司:03B42型 03B44号 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,Log。J.IGPL 21,第3号,380--403(2013;Zbl 1285.03008) 全文: 内政部
阿莱西奥·洛穆西奥;沃伊切赫,彭泽克 时间认知逻辑的符号模型检验。 (英语) 兹比尔1356.68144 亚历山大·阿提基斯(编辑)等人,《逻辑程序、规范和行动》。纪念马雷克·塞尔戈特60岁生日的文章。柏林:施普林格出版社(ISBN 978-3-642-29413-6/pbk)。计算机科学课堂讲稿7360。《人工智能课堂讲稿》,172-195(2012)。MSC公司:60年第68季度 03B42型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}和\textit{W.Penczek},莱克特。注释计算。科学。7360、172--195(2012;Zbl 1356.68144) 全文: 内政部
Dimitar P.Guelev。;达姆,麦兹 有限控制过程的认知谓词。 (英语) 兹比尔1347.68225 van Ditmarsch,Hans(ed.)等人,《第七届模态方法研讨会论文集》(M4M’2011)和第四届多智能体系统逻辑方面研讨会论文集(LAMAS’2011),西班牙奥苏纳,2011年11月10日至12日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记278229-243(2011)。MSC公司:60年第68季度 03B42型 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}和\textit{M.Dam},Electron。理论注释。计算。科学。278229--243(2011;Zbl 1347.68225) 全文: 内政部
罗向玉;苏凯乐;顾,明;吴丽君;杨金吉 草食协议中检验知识的符号模型。 (英语) Zbl 1327.68037号 范德梅登(van der Meyden)、罗恩(Ron)等,《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-20673-3/pbk)。计算机科学课堂讲稿6572。人工智能课堂讲稿,112-129(2011)。MSC公司:68个M12 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{X.Luo}等人,Lect。注释计算。科学。6572112-129(2011年;Zbl 1327.68037) 全文: 内政部
黄晓伟;罗,程;罗恩·范德梅登 改进了公平分支时间时间认知逻辑的有界模型检验。 (英语) Zbl 1327.68159号 范德梅登(van der Meyden)、罗恩(Ron)等,《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-20673-3/pbk)。计算机科学课堂讲稿6572。人工智能课堂讲稿,95-111(2011)。MSC公司:60年第68季度 03B42型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Huang}等人,Lect。注释计算。科学。6572,95-111(2011;Zbl 1327.68159) 全文: 内政部
弗朗西安·戴奇森;王燕京 知道或不知道:安全协议验证的认知方法。 (英语) 兹伯利1225.03017 合成 177,补遗1,51-76(2010). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B42型 03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dechesne}和\textit{Y.Wang},综合177,51--76(2010;Zbl 1225.03017) 全文: 内政部
弗朗西斯科·贝拉迪内利;阿莱西奥·洛穆西奥 具有群体知识的一阶线性时间认知逻辑:一元片段的公理化。 (英语) Zbl 1246.03036号 Ono,Hirakira(编辑)等人,《逻辑、语言、信息和计算》。2009年6月21日至24日,第16届国际研讨会,WoLLIC 2009,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02260-9/pbk)。计算机科学课堂讲稿5514。人工智能课堂讲稿,140-154(2009)。MSC公司:03B42型 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}和\textit{A.Lomuscio},莱克特。注释计算。科学。5514、140--154(2009年;Zbl 1246.03036) 全文: 内政部
阿莱西奥·洛穆西奥;沃伊切赫,彭泽克;曲洪阳 面向模型检验时序认知逻辑的部分降阶。 (英语) Zbl 1226.68043号 Peled,Doron A.(编辑)等人,《模型检查和人工智能》。2008年7月21日在希腊帕特拉斯举行的2008年MoChArt第五届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-00430-8/pbk)。计算机科学课堂讲稿5348。人工智能课堂讲稿,106-121(2009)。MSC公司:60年第68季度 03B42型 03B44号 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}等人,Lect。注释计算。科学。5348、106-121(2009年;Zbl 1226.68043) 全文: 内政部
阿莱西奥·洛穆西奥;沃伊切赫,彭泽克;沃纳、博埃纳 知识和实时的有界模型检查。 (英语) Zbl 1168.68422号 Artif公司。智力。 171,第16-17号,1011-1038(2007).MSC公司:60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}等人,Artif。智力。171,编号16--17,1011--1038(2007;Zbl 1168.68422) 全文: 内政部
佛朗哥·雷蒙迪;阿莱西奥·洛穆西奥 通过有序二元决策图的模型检查实现多智能体系统的自动验证。 (英语) Zbl 1122.68076号 J.应用。日志。 5,第2期,235-251(2007).MSC公司:60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Raimondi}和\textit{A.Lomuscio},J.Appl。日志。5,第2号,235--251(2007;Zbl 1122.68076) 全文: 内政部