朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 质量和数量目标相结合的游戏的平衡。 (英语) Zbl 1483.68193号 Acta信息。 58,编号6,585-610(2021).MSC公司:60年第68季度 03B44号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息学报》58,第6期,585--610(2021年;Zbl 1483.68193) 全文: 内政部 arXiv公司
纳塔娜·菲亚尔科夫;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;萨沙·鲁宾 量化战略逻辑中的界限。 (英语) Zbl 1528.68218号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第23条,第23页(2018年)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Fijalkow}等人,LIPIcs——莱布尼茨国际程序。通知。119,第23条,23 p.(2018;Zbl 1528.68218) 全文: 内政部
本杰明·阿米诺夫;阿尼埃洛·穆拉诺;萨沙·鲁宾 使用分级路径模式的CTL(^\ast)。 (英语) Zbl 1407.03028号 Inf.计算。 262,第1部分,1-21(2018). 审核人:马丁·兰格(卡塞尔) MSC公司:03B44号 03年2月25日 05年3月 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,《信息计算》。262,第1部分,1--21(2018;Zbl 1407.03028) 全文: 内政部 链接
马西莫·贝内雷切蒂;法比奥·莫加维罗;阿尼埃洛·穆拉诺 关于子结构和游戏的推理。 (英语) Zbl 1354.03019号 ACM事务处理。计算。日志。 第16条第3款第25条第51页(2015年).MSC公司:03B44号 03年2月25日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《美国医学杂志》。计算。日志。16,第3号,第25条,51页(2015;Zbl 1354.03019) 全文: 内政部