文件大小：0.63 MB 14页
时间自动机上的Mean-Payoff游戏
作者
-
部分： 体积： 第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）
系列： 莱布尼茨国际信息学论文集
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2016-12-10
文件
文件标识符
引用为 获取BibTex
摘要
关键词
定时自动机 Mean-Payoff游戏 合成控制器
度量标准
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
R.Alur、M.Bernadsky和P.Madhusudan。 加权计时游戏的最佳可达性。 程序中。 ICALP，第122-133页。 斯普林格，2004年。 
-
R.Alur和D.Dill。 时间自动机理论。 理论计算机科学，126（2）：183-2351994。
-
E.Asarin和O.Maler。 尽快：时间自动机的时间最优控制。 F.W.Vaandrager和J.H.van Schuppen，编辑，Proc。 HSCC第19-30页，1999年。
-
H.Björklund、S.Sandberg和S.Vorobyov。 均值支付博弈的组合强次指数策略改进算法。 程序中。 MFCS第673-685页，2004年。
-
P.鲍耶。 加权时间自动机：模型检查和游戏。 程序中。 MFPS，第158卷，第3-17页，2006年。
-
P.Bouyer、T.Brihaye、M.Jurdzinski、R.Lazic和M.Rutkowski。 具有强重置的混合自动机上的平均价格和可达价格游戏。 以格式，LNCS第5215卷，第63-77页，2008年。
-
P.Bouyer、E.Brinksma和K.G.Larsen。 尽可能便宜地活着。 程序中。 HSCC第2993卷，LNCS，第203-218页。 斯普林格，2004年。
-
P.Bouyer、F.Cassez、E.Fleury和K.G.Larsen。 定价时间博弈自动机中的最优策略。 程序中。 FSTTCS，LNCS第3328卷，第148-160页。 斯普林格，2004年。
-
P.Bouyer、K.G.Larsen和N.Markey。 加权时间自动机中的下限约束运行。 程序中。 QEST第128-137页，2012年。 网址： http://dx.doi.org/10.1109/QEST.2012.28 . -
R.Brenguier、F.Cassez和J.F.Raskin。 能量和平均值计时游戏。 程序中。 HSCC第283-292页，2014年。 网址： http://dx.doi.org/10.1145/2562059.2562116 . -
T.Brihaye、G.Geeraerts、S.N.Krishna、L.Manasa、B.Monmege和A.Trivedi。 为定价的定时游戏增加负价格。 程序中。 CONCUR，第560-575页，2014年。
-
E.Dynkin和A.Yushkevich。 受控马尔可夫过程。 施普林格，1979年。
-
A.Ehrenfeucht和A.Mycielski。 平均回报博弈的位置策略。 《国际博弈论杂志》，8:109-1131979。
-
J.Filar和K.Vrieze。 竞争马尔可夫决策过程。 施普林格，1997年。
-
S.Guha、M.Jurdziánski、S.N.Krishna和A.Trivedi。 时间自动机上的均值支付博弈。 CoRR，abs/1607.084802016年。 网址： http://arxiv.org/abs/1607.08480 . -
V.A.Gurvich、A.V.Karzanov和L.G.Khachiyan。 循环对策和在有向图中寻找极小极大循环均值的算法。 苏联计算数学和数学物理，28:85-911988。
-
托马斯·汉津格（Thomas A.Henzinger）。 定量反应建模和验证。 计算机科学-研究与开发，28（4）：331-3442013。
-
R.A.霍华德。 动态规划和马尔可夫过程。 麻省理工学院出版社，1960年。
-
M.Jurdziánski和A.Trivedi。 时间自动机上的可达时间游戏。 程序中。 ICALP，第838-849页。 施普林格，2007年。
-
M.Jurdziánski和A.Trivedi。 平均时间游戏。 R.Hariharan、M.Mukund和V.Vinay，编辑，Proc。 FSTTCS，Dagstuhl研讨会论文集，2008年。
-
M.L.Puterman先生。 马尔可夫决策过程：光盘。 斯托克。 动态程序。 威利，1994年。
-
P.J.Ramadge和W.M.Wonham。 离散事件系统的控制。 IEEE，第77卷，第81-98页，1989年。
-
A.特里维迪。 时间自动机的竞争优化。 华威大学计算机科学系博士论文，2009年。
-
U.Zwick和M.Paterson。 图上平均收益博弈的复杂性。 理论计算机科学，158:343-3591996。