×

找到12个文档（结果1-12）

最新 引文 关联
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼

图形游戏和反应合成。 （英语） 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年；兹比尔1392.68233）
全文： 内政部
克里希南德·查特吉;克里斯托弗·阿恩斯费尔特·汉森;拉斯穆斯·易卜森·延森

并发安全游戏的策略复杂性。 （英语） Zbl 1447.91018号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第55条，第13页（2017年）。
MSC公司：91A20型 91A43型 91A05型 91A68型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。83，第55条，13 p.（2017；Zbl 1447.91018）
全文： 内政部
克里希南德·查特吉;卢卡·德·阿尔法罗;托马斯·亨辛格（Thomas A.Henzinger）。

并发可达性和基于循环的随机安全博弈的策略改进。 （英语） Zbl 1269.91022号

J.计算。系统。科学。 79，第5号，640-657（2013）.
MSC公司：91A43型 91A15型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，J.Compute。系统。科学。79，第5号，640--657（2013；Zbl 1269.91022）
全文： 内政部 arXiv公司
OA许可证
克里斯托弗·阿恩斯费尔特·汉森;拉斯穆斯·易卜森·延森;彼得·布罗·米尔特森

使用值和策略迭代求解可达性博弈的复杂性。 （英语） Zbl 1330.68112号

库利科夫，亚历山大（编辑）等人，《计算机科学——理论与应用》。2011年6月14日至18日在俄罗斯圣彼得堡举行的第六届国际计算机科学研讨会，CSR 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-20711-2/pbk）。计算机科学讲座笔记6651，77-90（2011）。
MSC公司：65年第68季度 68问题85 91A05型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛K.A.Hansen｝等人，Lect。注释计算。科学。6651、77-90（2011年；Zbl 1330.68112）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件