J·以西结。;A.Lomuscio。 结合故障注入和模型检查来验证多代理系统中的容错性、可恢复性和可诊断性。 (英语) Zbl 1370.68201号 Inf.计算。 254,第2部分,167-194(2017).MSC公司:60年第68季度 68个M12 68米15 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ezekiel}和\textit{A.Lomuscio},Inf.Compute。254,第2部分,167--194(2017;Zbl 1370.68201) 全文: 内政部
阿莱西奥·洛穆西奥;沃伊切赫·彭泽克;沃纳、博埃纳 知识和实时的有界模型检查。 (英语) 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) 全文: 内政部
阿莱西奥·洛穆西奥;马雷克·塞尔戈特 比特传输问题中违规、错误恢复和执行的形式化。 (英语) Zbl 1076.68074号 J.应用。日志。 2,第1期,93-116(2004).MSC公司:68T27型 68立方英尺 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}和\textit{M.Sergot},J.Appl。日志。2,编号1,93--116(2004;Zbl 1076.68074) 全文: 内政部