{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,1,1]]，“日期时间”：“2023-01-01T18:54:56Z”，“时间戳”：1672599296889}，“引用-计数”：11，“发布者”：“开放发布协会”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”short-containert-title“：[“Electron.Proc.Theor.Comput.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.220.1”，“类型”：“期刊文章”，“已创建”：｛“日期部分”：[[2016,8,3]]，“日期时间”：“2016-08-03T03:05:20Z”，“时间戳”：1470193520000｝，“页面”：“1-12”，“来源”：“Crossref”，“由计数引用”：1，“标题”：[“使用多人游戏的智能电网中的高效能源分配”]，“前缀”：“10.4204”，“卷”：“220”，“作者”：[{“给定”：“托马斯”，“家族”：“布里亚耶”，“序列”：“第一”，“从属关系”：[}“名称”：“UMONS，Mons，Belgium”}]}s“，”sequence“：”additional“，”affiliation“：[{”name“：“ULB，Brussels，Belgium”}]}，｛“given”：“Axel”，“family”：“Haddad”，“sequence”：“additional”，“affiliation”：[｛“name”：“UMONS，Mons，Belgium”}]}，｛“given”：“Benjamin”，“family”：“Monmege”，“sequence”：“additional”，“affiliation”：[｛“name”：“LIF，Aix Marseille Univ，CNRS，Marseille，France”}]]，“member”：“2720”，“在线发布”：｛“日期部分”：[〔2016，7，3，3 1]]}中，“reference”：[｛“key”：“BCDFLL07”，“doi asserted by”：“publisher”，“first page”：“121”，“doi”：“10.1007\/978-3-540-73368-3_14”，“article title”：“UPPAAL Tiga:Time for Playing Games！”，“volume title”：“Proc.199 Int.Conf.Computer Aided Verification（CAV'07）”，“author”：“Behrmann”，“year”：“2007”｝，｛“issue”：“2”，“key”：“BBMU15”，“doi asserted by”：“publisher”，“内政部”：“10.2168\/LMCS-11（2:9）2015”，“article-title”：“并发确定性博弈中的纯纳什均衡”，“volume”：“11”，“author”：“Bouyer”，“year”：“2015”，《journal-title》：“计算机科学中的逻辑方法（LMCS）”}，{“key”：”BPS13“，”doi-asserted-by“：”publisher“，”first page“59”，“doi”：“10.1007\/978-3642-3722-05”，“article-title”：“具有简单纳什均衡的多人成本游戏”，“volume-title”：“国际交响乐团计算机科学逻辑基础（LFCS'13）汇编”，“author”：“Brihaye”，“year”：“2013”}，{“key”：“CKSW13”，“doi-asserted-by”：“publisher”，”first page“：”322“，”doi“：”10.1007\/978-3642-40196-1_28“，”article-title“：“多目标随机游戏的合成：在城市自主驾驶中的应用”，“卷-时间”：“第十届国际系统定量评估会议（QEST'13）”，“作者”：“陈”，“年份”：“2013年”}，{“关键”：“CFK+13”，“doi-asserted-by”：“出版商”，“首页”：“185”，“doi”：“10.1007\/978-3642-36742-7_13”，《文章-时间》：“PRISM-games:随机多层游戏的模型检查器”，“volume-title”：“Proc.19th Int.Conf.Tools and Algorithms for the Construction and Analysis of Systems（TACAS'13）”，“author”：“Chen”，“year”：“2013”}，{“key”：“DGJLR10”，“doi-asserted-by”：“publisher”，“first-pages”：“336”，“doi”：“10.1007\/978-3642-25271-6”，“article-title“：“模型检查技术在控制器合成中的应用”，“卷时间”：“Proc.9th Int.Symp.Formal Methods for Components and Objects（FMCO'12）”，“author”：“David”，“year”：“2012”}，{“key”：“DJLMT15”，“doi-asserted-by”：“publisher”，”first page“：”206“，”doi“10.1007\/978-3662-46681-0_16”，“article-title”：“Uppaal Stratego”，《卷时间》：“Proc.21st Int.Conf.Tools and Algorithms for the Construction and Analysis of Systems（TACAS’15）”，“author”：“David”，“year”：“2015”}，{“key”：“KLSTC12”，“doi-asserted-by”：“publisher”，《first page》：“363”，“doi”：“10.1007\/978-3642-28332-1_31”，“article-title”：“并发定价游戏中的纳什均衡”，“volume-title“Proc.6th Int.Conf。语言与自动机理论与应用（LATA’12）”，“作者”：“Klimo\u0161”，“年份”：“2012”}，{“密钥”：“LMT15”，“doi-asserted-by”：“出版商”，“首页”：“260”，“doi”：“10.1007\/978-3319-23506-6”，“文章标题”：“安全和最佳自适应巡航控制”，“卷标题”：《纪念Ernst-R\u00fcdiger Olderog正确系统设计的程序交响乐》，“author“：”Larsen“，”year“：”2015“}，{“key”：”Nash“，”doi-asserted-by“：”publisher“，”first page“：”48“，”doi“：”10.1073\/pnas.36.1.48“，”article-title“：”N人游戏的平衡点“，”volume“：“”多人成本游戏中的均衡”，“作者”：“de-Pril”，“年份”：“2013”}]，“容器-时间”：[“理论计算机科学中的电子论文集”]，“原始标题”：[]，“语言”：“en”，“存放”：{“日期-部分”：[[2016,8,3]]，“日期-时间”:“2016-08-03T03:05:26Z”，“时间戳”：1470193526000}，“分数”：1，“资源”:{“主要”：{“URL”：“http://\/arxiv.org\/abs\/1608.00652“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2016,7,31]]}，“引用计数”：11，“URL”：“http://\/dx.doi.org\/10.4204\/eptcs.220.1”，“关系”：{}，‘ISSN’：[”2075-2180“]，‘ISSN-type’：[{”值“2075-2180'，‘type’：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2016,7,31]]}}}