阿莱西奥·洛穆西奥;曲洪阳;弗朗西斯科·拉索 模型检测多智能体系统中的自动数据提取。 （英语） Zbl 1327.68162号 范德梅登（van der Meyden）、罗恩（Ron）等，《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-20673-3/pbk）。计算机科学课堂讲稿6572。人工智能课堂讲稿，52-68（2011）。MSC公司：60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}等人，Lect。注释计算。科学。6572，52-68（2011；Zbl 1327.68162） 全文： 内政部
阿莱西奥·洛穆西奥;沃伊切赫，彭泽克;曲洪阳 面向模型检验时序认知逻辑的部分降阶。 （英语） 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） 全文： 内政部