弗朗西斯科·贝拉迪内利；斯特凡·德姆里 有限资源的战略推理：对可驾驭性的追求。 （英语） Zbl 1520.68183号 Artif公司。智力。 300，文章ID 103557，35 p.（2021）.MSC公司：68T27型 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） 全文： 内政部 哈尔
弗朗西斯科·贝拉迪内利；罗地卡康杜拉切；柯特林·迪马；沃伊切赫·贾姆罗加；米查尔·科纳皮克 通过应用三选票投票协议验证战略能力的相互模拟。 （英语） 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公司 链接
罗恩·范德梅登；帕特拉，马纳斯·K。 模型检验概率时间认知逻辑的不确定案例（扩展抽象）。 （英语） Zbl 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年；兹bl 1483.68210） 全文： arXiv公司 链接
阿莱西奥·洛穆西奥；沃伊切赫·彭泽克 时间认知逻辑的符号模型检验。 （英语） Zbl 1356.68144号 Artikis，Alexander（编辑）等人，《逻辑程序、规范和行动》。纪念马雷克·塞尔戈特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） 全文： 内政部
黄晓伟；罗，程；罗恩·范德梅登 改进了公平分支时间时间认知逻辑的有界模型检验。 （英语） 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） 全文： 内政部
弗朗西安·戴奇森；王燕京 知道或不知道：安全协议验证的认知方法。 （英语） Zbl 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 1262.68110号 刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，69-83（2009）。MSC公司：60年第68季度 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Cohen}等人，Lect。注释计算。科学。5799、69-83（2009年；Zbl 1262.68110） 全文： 内政部
阿莱西奥·洛穆西奥；沃伊切赫·彭泽克；曲洪阳 面向模型检验时序认知逻辑的部分降阶。 （英语） 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 1148.03319号 Goble，Lou（编辑）等人，道义逻辑和人工规范系统。第八届计算机科学道义逻辑国际研讨会，DEON 2006，荷兰乌得勒支，2006年7月12日至14日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-35842-0/pbk）。计算机科学4048课堂讲稿。人工智能课堂讲稿，238-254（2006）。MSC公司：03B45号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}和\textit{B.Woźna}，莱克特。注释计算。科学。4048238--254（2006年；Zbl 1148.03319） 全文： 内政部