弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫·贾姆罗加;迈克尔·克纳皮克 通过应用三选票投票协议验证战略能力的相互模拟。 (英语) Zbl 1497.68287号 Inf.计算。 276,文章ID 104552,第25页(2021).MSC公司:60年第68季度 03B44号 68T42型 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,《信息计算》。276,文章ID 104552,25 p.(2021;Zbl 1497.68287) 全文: 内政部 arXiv公司 链接
朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 自动时间均衡分析:多层游戏的验证和合成。 (英语) Zbl 1493.68360号 Artif公司。智力。 287,文章ID 103353,26 p.(2020).MSC公司:68T42型 60年第68季度 91A06型 91A10号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。287,文章ID 103353,26 p.(2020;Zbl 1493.68360) 全文: 内政部 arXiv公司
弗朗西斯科·贝拉迪内利;阿莱西奥·洛穆西奥;阿尼埃洛·穆拉诺;萨沙·鲁宾 针对策略逻辑,验证具有公共操作的多代理系统。 (英语) Zbl 1451.68290号 Artif公司。智力。 285,文章ID 103302,第28页(2020).MSC公司:68T42型 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,Artif。智力。285,文章ID 103302,28 p.(2020;Zbl 1451.68290) 全文: 内政部
劳拉·博泽利;阿尼埃洛·穆拉诺;Loredana索伦蒂诺 线性过去的交替时间逻辑。 (英语) Zbl 1433.03050号 西奥。计算。科学。 813, 199-217 (2020).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。813199-217(2020年;Zbl 1433.03050) 全文: 内政部