Nathalie Bertrand;谢尔盖·哈达德;恩格尔·勒福丘 概率系统的诊断和降级控制。 (英语) Zbl 1458.93232号 离散事件动态。系统。 30,第4期,695-723(2020年).MSC公司:93E03型 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,离散事件动态。系统。30,第4号,695--723(2020;Zbl 1458.93232) 全文: 内政部 哈尔
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼 图形游戏和反应合成。 (英语) Zbl 1392.68233号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。921-962 (2018).MSC公司:60年第68季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,in:模型检查手册。查姆:斯普林格。921-962(2018;Zbl 1392.68233) 全文: 内政部
马里亚·斯沃雷奥娃;玛尔塔·奎亚特科夫斯卡 随机博弈的定量验证与策略综合。 (英语) 兹比尔1347.93240 欧洲药典控制 30, 15-30 (2016).MSC公司:93E03型 91A15型 93亿B50 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{M.Svoreňová}和\textit{M.Kwiatkowska},《欧洲期刊控制》30,15-30(2016;Zbl 1347.93240) 全文: 内政部
克里希南德·查特吉;马丁·奇梅利克;Daca,Przemysław公司 用于马尔可夫决策过程中定性属性的组合分析的CEGAR。 (英语) Zbl 1322.68137号 表格方法系统。设计。 47,第2期,230-264(2015).MSC公司:第68季度87 60年第68季度 90立方厘米 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。47,第2号,230--264(2015;Zbl 1322.68137) 全文: 内政部
克里希南德·查特吉;劳伦特·多恩 部分观察随机博弈,信念失败时如何取胜。 (英语) Zbl 1291.91021号 ACM事务处理。计算。日志。 第15号第2条第16条第44页(2014年).MSC公司:91A15型 2017年第68季度 91A43型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{L.Doyen},ACM Trans。计算。日志。第15条第2款第16条第44页(2014年;Zbl 1291.91021) 全文: 内政部
拜尔,克里斯特尔(编辑);玛尔塔·奎亚特科夫斯卡(编辑) 概率模型检验专题前言。 (英语) Zbl 1291.68245号 表格方法系统。设计。 43,第2期,121-123(2013).MSC公司:60年第68季度 第68季度87 00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}(编辑)和\textit{M.Kwiatkowska}(主编),《形式方法系统》。设计。43,No.2,121--123(2013;Zbl 1291.68245) 全文: 内政部