康斯坦蒂诺斯·马穆拉斯 使用天使和恶魔不确定性的霍尔逻辑综合策略。 (英语) Zbl 1445.03037号 日志。方法计算。科学。 12,第3号,第6号论文,41页(2016年).MSC公司:03B70号 60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Mamouras},日志。方法计算。科学。12,第3号,第6号论文,41页(2016;Zbl 1445.03037) 全文: 内政部 arXiv公司
卢卡·德·阿尔法罗;鲁帕克·马朱姆达尔;维什瓦纳斯·拉曼;玛丽·斯托琳加 游戏优化关系和度量。 (英语) Zbl 1147.68056号 日志。方法计算。科学。 4,第3期,论文7,28页(2008年).MSC公司:68问题85 91A05型 91A20型 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}等人,日志。方法计算。科学。4,第3号,论文7,28页(2008年;Zbl 1147.68056) 全文: 内政部