玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 并发随机系统的自动验证。 (英语) Zbl 1505.68025号 形式方法系统。设计。 58,编号1-2,188-250(2021).MSC公司:第68季度第60季度 第68季度85 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,《形式方法系统》。设计。58,编号1--2,188-250(2021;Zbl 1505.68025) 全文: 内政部 arXiv公司
弗朗西斯科·兰扎托 超模博弈的纳什均衡抽象。 (英语) 兹比尔1427.91014 形式方法系统。设计。 53,第2号,259-285(2018).MSC公司:91A10号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ranzato},表格方法系统。设计。53,第2号,259--285(2018;Zbl 1427.91014) 全文: 内政部 链接
马西莫·贝内雷塞蒂;丹尼尔·德尔尔巴;法比奥·莫加韦罗 通过优先促销解决平价游戏。 (英语) Zbl 1390.68332号 形式方法系统。设计。 52,第2期,193-226(2018).MSC公司:第68季度25 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《形式方法系统》。设计。52,第2号,193--226(2018;Zbl 1390.68332) 全文: 内政部 链接
克里希南德·查特吉;马丁·奇梅利克;普热米斯瓦夫达卡 用于马尔可夫决策过程中定性属性的组合分析的CEGAR。 (英语) Zbl 1322.68137号 形式方法系统。设计。 47,第2期,230-264(2015).MSC公司:87年第68季度 第68季度第60季度 90立方厘米 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。47,第2号,230--264(2015;Zbl 1322.68137) 全文: 内政部
Nathalie Bertrand;阿梅利·施泰纳;蒂埃里·杰伦;莫伊斯·克里钦 确定时间自动机的博弈方法。 (英语) Zbl 1323.68337号 形式方法系统。设计。 46,第1期,42-80(2015).MSC公司:65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,《形式方法系统》。设计。46,第1号,42--80(2015;Zbl 1323.68337) 全文: 内政部
斯特凡·基弗;Andrzej S.穆拉夫斯基。;约尔·瓦克宁;比约恩·瓦希特;詹姆斯·沃雷尔 算法概率游戏语义。用自动机玩游戏。 (英语) Zbl 1291.68294号 形式方法系统。设计。 43,第2期,285-312(2013).MSC公司:87年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiefer}等人,《形式方法系统》。设计。43,第2号,285--312(2013;Zbl 1291.68294) 全文: 内政部
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。 部分观测随机平价博弈研究综述。 (英语) Zbl 1291.91022号 形式方法系统。设计。 43,第2期,268-284(2013).MSC公司:91A15型 91A05型 91A43型 91A80型 87年第68季度 91-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Form.Methods Syst。设计。43,编号2268-284(2013年;兹bl 1291.91022) 全文: 内政部 链接
陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马蒂斯,艾斯蒂斯 竞争随机系统的自动验证。 (英语) Zbl 1291.68252号 形式方法系统。设计。 43,第1期,61-92(2013).MSC公司:第68季度第60季度 87年第68季度 91A15型 03B44号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,《形式方法系统》。设计。43,第1号,61-92(2013;Zbl 1291.68252) 全文: 内政部
艾曼纽·菲利奥特;Jin、Naiyong;Jean-François拉斯金 LTL合成的反链和合成算法。 (英语) Zbl 1258.03046号 形式方法系统。设计。 39,第3期,261-296(2011).MSC公司:05年3月 03B44号 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,《形式方法系统》。设计。39,第3号,261--296(2011;Zbl 1258.03046) 全文: 内政部
布里姆·L。;查洛普卡,J。;Doyen,L。;Gentilini,R。;J.F.拉斯金。 平均游戏的更快算法。 (英语) Zbl 1213.68430号 形式方法系统。设计。 38,第2期,97-118(2011).MSC公司:68兰特 91A43型 第68季度25 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人,《形式方法系统》。设计。38,第2号,97--118(2011;Zbl 1213.68430) 全文: 内政部
Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 马尔可夫决策过程的一个基于博弈的抽象精化框架。 (英语) 兹伯利1233.90276 形式方法系统。设计。 36,第3246-280号(2010年).MSC公司:90立方厘米 91A15型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Kattenbelt}等人,《形式方法系统》。设计。36,第3号,246--280(2010;Zbl 1233.90276) 全文: 内政部 链接