弗朗西斯科·贝拉迪内利;斯特凡·德姆里 有限资源的战略推理：对可驾驭性的追求。 （英语） 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） 全文： 内政部 哈尔
弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫·贾姆罗加;米查尔·科纳皮克 通过ThreeBallot投票协议的应用程序验证战略能力的双模拟。 （英语） 兹比尔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 1451.68290号 Artif公司。智力。 285，文章ID 103302，28 p.（2020）。MSC公司：68T42型 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人，Artif。智力。285，文章ID 103302，28 p.（2020；Zbl 1451.68290） 全文： 内政部 链接
帕特里夏·鲍耶;乌里·法伦贝格;金·古德斯特兰·拉森;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 模型检查实时系统。 （英语） Zbl 1392.68235号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1001-1046 (2018).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001--1046（2018；Zbl 1392.68235） 全文： 内政部 哈尔
彼得·科马克;阿莱西奥·洛穆西奥;法比奥·莫加维罗;阿尼埃洛·穆拉诺 多智能体系统的实际验证Slk公司规范。 （英语） 兹比尔1395.68255 Inf.计算。 261，第3部分，588-614（2018）。MSC公司：68T27型 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.采尔玛}等人，《Inf.Compute》。261，第3部分，588--614（2018；Zbl 1395.68255） 全文： 内政部
弗朗西斯科·贝拉迪内利;阿莱西奥·洛穆西奥 用于验证多智能体系统中认知属性的三值抽象技术。 （英语） Zbl 1483.68417号 Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 112-126 (2016).MSC公司：68T42型 03B42号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}和\textit{A.Lomuscio}，莱克特。注释计算。科学。10021、112-126（2016；Zbl 1483.68417） 全文： 内政部
米罗斯·库考斯基;沃伊切赫·彭泽克 基于时间自动机的时间安全协议模型检查。 （英语） Zbl 1189.68075号 芬丹。通知。 93，编号1-3，245-259（2009）。MSC公司：60年第68季度 68第25页 65年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kurkowski}和\textit{W.Penczek}，Fundam。通知。93，编号1--3，245--259（2009；Zbl 1189.68075）
沃伊切赫·彭泽克;马西耶·斯兹雷特 基于SAT的时间自动机无界模型检验。 （英语） Zbl 1159.68480号 芬丹。通知。 85，编号1-4，425-440（2008）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛W.Penczek｝和\textit｛M.Szreter｝，基金会。通知。85，编号1-4425-440（2008年；兹bl 1159.68480）
纳比亚·埃克（Nabiałek），沃伊切赫（Wojciech）;阿加塔·雅诺夫斯卡;Pawe Janowskił 将定时Promela转换为具有离散数据的定时自动机。 （英语） Zbl 1160.68444号 芬丹。通知。 85，编号1-4，409-424（2008）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Nabiałek}等人，Fundam。通知。85，编号1--4，409--424（2008；Zbl 1160.68444）
阿加塔·雅诺夫斯卡;Pawe Janowskił;杜比斯·沃沃·沃罗布列夫斯基（Wróblewski，Dobiesław） 将中间语言翻译为具有离散数据的时间自动机。 （英语） Zbl 1158.68020号 芬丹。通知。 85，编号1-4，235-248（2008）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Janowska}等人，Fundam。通知。85，编号1--4，235-248（2008；Zbl 1158.68020）
阿加塔·雅诺夫斯卡;Pawe Janowskił 离散数据的时间自动机切片。 （英语） Zbl 1097.68061号 芬丹。通知。 72，编号1-3，181-195（2006）。MSC公司：65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Janowska}和\textit{P.Janowski}，Fundam。通知。72，编号1--3，181--195（2006；Zbl 1097.68061）