克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格。 部分观测随机平价博弈研究综述。 (英语) Zbl 1291.91022号 表格方法系统。设计。 43,第2期,268-284(2013).MSC公司:91A15型 91A05型 91A43型 91A80型 第68季度87 91-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。43,No.2,268--284(2013;Zbl 1291.91022) 全文: 内政部 链接
布里姆·L。;查洛普卡,J。;Doyen,L。;Gentilini,R。;J.F.拉斯金。 平均游戏的更快算法。 (英语) Zbl 1213.68430号 表格方法系统。设计。 38,第2期,97-118(2011).MSC公司:68兰特 91A43型 65年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人,《形式方法系统》。设计。38,第2号,97——118(2011年;兹bl 1213.68430) 全文: 内政部
马丁·德·沃尔夫;劳伦特·多恩;尼古拉斯·马基;Jean-François拉斯金 时间自动机的鲁棒安全性。 (英语) Zbl 1165.68392号 表格方法系统。设计。 33,编号1-3,45-84(2008).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人,《形式方法系统》。设计。33,编号1--3,45-84(2008;Zbl 1165.68392) 全文: 内政部 哈尔