文件大小：0.52 MB 13页
并发安全游戏的策略复杂性
作者
-
部分： 体积： 第42届计算机科学数学基础国际研讨会（MFCS 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学数学基础（MFCS） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 出版日期：2017-12-01
文件
文件标识符
引用为 获取BibTex
摘要
关键词
并发游戏 可达性和安全性 策略的耐心
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
R.Alur、T.A.Henzinger和O.Kupferman。 交替时间时序逻辑。 美国医学会杂志，49:672-7132002。 
-
查特吉。 带有尾部目标的并发游戏。 理论计算机科学，388:181-1982007。
-
K.Chatterjee、L.de Alfaro和T.A.Henzinger。 定性并行平价游戏。 ACM ToCL，2011年。
-
克里希南德·查特吉（Krishnendu Chatterjee）、克里斯托弗·阿恩斯费尔特·汉森（Kristoffer Arnsfelt Hansen）和拉斯穆斯·易卜森·延森（Rasmus Ibsen-Jensen）。 具有安全性和可达性目标的并发随机博弈的策略复杂性。 CoRR，abs/1506.024342015年。 网址： http://arxiv.org/abs/1506.02434 . -
克里希南德·查特吉（Krishnendu Chatterjee）和拉斯穆斯·易卜森·延森（Rasmus Ibsen-Jensen）。 遍历意义回报游戏的复杂性。 在ICALP 2014中，第122-1332014页。
-
L.de Alfaro、T.A.Henzinger和F.Y.C.Mang。 同步系统的控制。 CONCUR'00，LNCS 1877，第458-473页。 斯普林格，2000年。
-
L.de Alfaro、T.A.Henzinger和F.Y.C.Mang。 同步系统的控制，第二部分。 在CONCUR’01中，LNCS 2154，第566-580页。 斯普林格，2001年。
-
卢卡·德·阿尔法罗（Luca de Alfaro）、托马斯·汉津格（Thomas A.Henzinger）和奥尔娜·库普夫曼（Orna Kupferman）。 并发可达性游戏。 西奥。 计算。 科学，386（3）：188-2172007。
-
K.Etessami和M.Yannakakis。 递归并发随机博弈。 在ICALP’06（2），LNCS 4052，Springer，第324-3352006页。
-
H.埃弗雷特。 递归游戏。 在CTG中，AMS第39卷，第47-78页，1957年。
-
J.Filar和K.Vrieze。 竞争马尔可夫决策过程。 Springer-Verlag，1997年。
-
K.A.Hansen、R.Ibsen-Jensen和P.B.Miltersen。 使用值和策略迭代求解可达性博弈的复杂性。 《企业社会责任》，第77-90页，2011年。
-
K.A.Hansen、M.Koucký和P.B.Miltersen。 赢得并发可达性游戏需要双重指数的耐心。 在LICS中，第332-341页，2009年。
-
C.J.Himmelberg、T.Parthasarathy、T.E.S.Raghavan和F.S.Van Vleck。 随机博弈中p-均衡和最优平稳策略的存在性。 程序。 阿默尔。 数学。 Soc.，60:245-2511976年。
-
R.易卜生-延森。 两层零和游戏的策略复杂性。 奥胡斯大学博士论文，2013年。
-
拉斯穆斯·易卜森·延森（Rasmus Ibsen-Jensen）和彼得·布罗·米尔特森（Peter Bro Miltersen）。 用很少的投币位置求解简单的随机游戏。 《欧洲账户体系》，第636-647页，2012年。
-
R.J.Lipton、E.Markakis和A.Mehta。 使用简单的策略玩大型游戏。 EC 03：电子商务，第36-41页。 ACM出版社，2003年。
-
P.B.Miltersen和T.B.Sörensen。 一个接近最佳的策略，为一个不受限制的德克萨斯扑克锦标赛。 AAMAS’07，第191-197页，2007年。
-
G.欧文。 博弈论。 学术出版社，1995年。
-
T.Parthasarathy公司。 折扣和正随机博弈。 牛市。 阿默尔。 数学。 Soc，77:134-1361971年。
-
A.Pnueli和R.Rosner。 关于反应模的合成。 过程中。 第179-190页。 ACM出版社，1989年。
-
P.J.Ramadge和W.M.Wonham。 一类离散事件过程的监督控制。 SIAM控制与优化期刊，25（1）：206-2301987。
-
L.S.沙普利。 随机游戏。 美国国家科学院院刊，39:1095-11001953年。
-
艾伦·索兰和尼古拉斯·维耶。 计算两层随机对策中的一致最优策略。 经济理论，42（1）：237-2532010。
-
M.Y.瓦尔迪。 概率并发有限状态系统的自动验证。 在FOCS’85中，第327-338页。 IEEE，1985年。
-
J.von Neumann和O.Morgenstern。 博弈论与经济行为。 普林斯顿大学出版社，1947年。
-
O.J.Vrieze和F.Thuijsman。 关于具有吸收状态的重复博弈的均衡。 国际博弈论杂志，18（3）：293-3101989。
-
O.J.Vrieze和S.H.Tijs。 虚拟游戏适用于游戏序列和折扣随机游戏。 国际博弈论杂志，11（2）：71-851982。