｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2023,1,6]]，“date-time”：“2023-01-06T20:32:03Z”，“timestamp”：1673037123365｝，“publisher location”：“New York，NY，USA”，“reference count”：34，“publisher”：“ACM”，“funder”：[｛“name”：“ICT Centre of Excellence Program”｝，｛“DOI”：“10.13039\/5011000000781”，“name”：“European Research Council”，“doi-asserted-by”：“publisher”，“award”：[“279499”]}]，“content-domain”：{“domain”:[“dl.acm.org”]，“crossmark-restriction”：true}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2014,4,15]]}，”doi“10.1145\/2562059.2562116”，“type”：“proceedings-article”，“created”：{-“date-ports”：[2014,4,11]]，“日期-时间”：“2014-04-11T17:50:00Z”，“timestamp”：1397238600000}，“update-policy”：“http://\/dx.doi.org\/10.1145\/crossmark-policy”，“source”：”Crossref“，”is-referenced-by-count“：4，“title”：[“Energy and mean-payoff timed games”]，“prefix”：“10.1145”，“author”：[{“given”：“”：“University\u00e9 Libre de Bruxelles，Brussels，Belgium”}]}，{“given”：“Franck”，“family”：“Cassez”，“sequence”：“additional”，“affiliation”：[{“name”：“NICTA，Sydney，Australia”}]neneneep，{”given“：”Jean-Fran\u00e 7ois“，”family“：”Raskin“，”sequence“：”additional“，”affiliance“:[{”name“：”University\ u00e9-Libre de Bruxelles、Brussells，Beljium“}]}]，“成员”：“320”，“published-online”：{“date-parts”：[[2014,4,15]]}，“reference”：[{“key”：“e_1_3_2_1_1_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/0304-3975（94）90010-8“}，{“key”：”e_1_ 3_2_1_2_1“，”doi-assert-by“：”publisher“，es-title“：“LNCS”，“volume-title”：“HSCC”，“author”：“Alur R.”，“year”：“2001”，“非结构化”：“R.Alur、S.La Torre和G.J.Pappas。加权时间自动机中的最优路径。在HSCC中，LNCS的第2034卷。Springer，2001。R.Alure、S.拉托雷和G.J Pappas.加权时间自力机中的最优路。在HSC中，LNCS的第204卷。Spring，2001。”}，{“key”：“e_1_3_2_1_4_1”，“series-title”：“LNCS”，“volume-title”：“Uppaal-tiga：游戏时间！在CAV中”，“author”：“Behrmann G.”，“year”：“2007”，“unstructured”：“G.Behrmann-A.Cougnard，A.David，E.Fleury，K.G.Larsen，D.Lime。Uppaal-tiga：玩游戏的时间！在CA中，LNCS第4590卷。Springer，2007。G.Behr mann，A.Cougnar，A.大卫，E.Fleuri，K.G Larsen和D。石灰。Uppaal-tiga：游戏时间到了！在CAV中，LNCS的卷4590。施普林格，2007.”}，｛“key”：“e_1_3_2_1_5_1”，“series title”：“LNCS”，“volume title”：“HSCC”，“author”：“Behrmann G.”，“year”：“2001”，“nonstructured”：“G.Behrmann，A.Fehnker，T.Hune，K.G.Larsen，P.Pettersson，J.Romijn，and F.W.Vaandrager。定价时间自动机的最小可达成本。在HSCC中，LNCS的2034卷。施普林格，2001.G。Behrmann、A.Fehnker、T.Hune、K.G.Larsen、P.Pettersson、J.Romijn和F.W.Vaandrager。定价时间自动机的最低成本可达性。在HSCC中，LNCS第2034卷。Springer，2001.“}，{”key“：”e_1_3_2_1_6_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/S0304-3975（03）00427-4”}，“key”：“e_1_ 3_2_1”，“unstructured”：“P.Bouyer.从定性到定量的时间系统分析-M\u00e9moire d'habilitation\u00e 0 diriger des recherches 2009。P.鲍耶。从定性到定量分析时间系统-M\u00e9moire d'habilitation\u00e 0 diriger des recherches 2009.“}，{“key”：“e_1_3_2_1_8_1”，“doi-asserted-by”：“publisher”，”doi“：“10.1007\/s10703-007-0035-4”}，”key“：”e_1_ 3_2_1~9_1“，”doi-assert-by“：”publisher“，e_1_3_2_1_10_1“，”系列时间“：”LNCS“，”volume-title“：”HSCC“，”author“：”Bouyer P.“，”year“：”2004“，”unstructured“：”P.Buuyer、E.Brinksma和K.G.Larsen“。尽可能便宜地活着。在HSCC中，LNCS的卷为2993。斯普林格，2004年。P.Bouyer、E.Brinksma和K.G.Larsen。尽可能便宜地活着。在HSCC中，LNCS的卷为2993。Springer，2004.“}，{”key“：”e_1_3_2_11_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-540-30538-5_13“}”，{“key”：“e_1_ 3_2_12_1”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/j.entcs.2004.07.006”}，”key：“e_ 1_3_2 _13_13”，“”doi-sserted-by“”：”publiver“，”doi“：“10.1007\/978-3-540-85778-5_4”}，{“key”：“e_1_3_2_14_1”，“doi-asserted-by”：“publisher”，”DOI“：”10.1109\/QEST.12.28“｝，｛”key“：”e_1_3_2_1_15_1“，”系列标题“：”LNCS“，”卷标题“：”CAV“，”作者“：”Bozga M.“，”年份“：”1998“，”非结构化“：”M.Bozga，C.Daws，O.Maler，A.Olivero，S.Tripakis，and S.Yovine“。Kronos:实时系统的模型检查工具。在CAV中，LNCS第1427卷。Springer，1998。M.Bozga，C.Daws，O。Maler、A.Olivero、S.Tripakis和S.Yovine。Kronos：实时系统的模型检查工具。在CAV中，LNCS的体积为1427。Springer，1998.“}，{”key“：”e_1_3_2_1_16_1“，”volume-title“：”Energy and mean-payoff timed games“，“author”：“Brenguier R.”，“year”：“2014”，“unstructured”：“R.Brenguie，F.Cassez，and J.-F.Raskin.Energy and-mean-payoff timed games.2014.http://hal.archives-ouvertes.fr\/docs\/00\/94\/30\/15\/PDF\/mainFull.PDF.R.Brencuier，F.Cassez，and-J.-F、。拉斯金。能量和平均值计时游戏。2014年，http:\/\/hal.archives-ouvertes.fr\/docs\/00\/94\/30\/15\/PDF\/mainFull.PDF。“}，{”key“：”e_1_3_2_17_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/11603009_5”}，“key”：“e_1_ 3_2_18_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007\/s10703-0105-x“}”，{，{“键”：“e_1_3_2_1_20_1”，“doi-asserted-by”：“出版商”，“doi”：“10.1007\/978-3642-00602-9_7”}，{“key”：“e_1_3_2_1_21_1”，“series-tile”：“LNCS”，“volume-title”：“CONCUR”，“author”：“Cassez F.”，“year”：“2000”，“unstructured”：“F.Cassez and K.G.Larsen。秒表令人印象深刻的力量。在CONCUR中，LNCS第1877卷。Springer，2000。F.Cassez and K.G。拉森。秒表令人印象深刻的力量。在CONCUR中，LNCS第1877卷。施普林格，2000年。拉斯金。广义平均分摊和能量博弈。在FSTTCS中，LIPIcs第8卷。达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技，2010年。K.Chatterjee、L.Doyen、T.A.Henzinger和J.-F.Raskin。广义平均分摊和能量博弈。在FSTTCS中，LIPIcs第8卷。Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik，2010.“}，{”key“：”e_1_3_2_1_24_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007 \/s10009-007-0062-x”}，“key”：“e_1_ 3_2_1_2 _25_1”，“series-title”：“LNCS”，“首页”：“379”，“卷时间”：“CAV”，“author”：“Frehse G.”，”年：“2011”，“非结构化”：“G.Frehse、C.L.Guernic、A.Donz\u00e9、S.Cotton、R。Ray、O.Lebeltel、R.Ripado、A.Girard、T.Dang和O.Maler。太空探索技术公司：混合系统的可扩展验证。在CAV中，LNCS第6806卷，第379-395页。施普林格，2011年。G.Frehse、C.L.Guernic、A.Donz\u00e9、S.Cotton、R.Ray、O.Lebeltel、R.Ripado、A.Girard、T.Dang和O.Maler。SpaceEx：混合系统的可扩展验证。在CAV中，LNCS第6806卷，第379-395页。Springer，2011.“}，{”key“：”e_1_3_2_1_26_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007 \/s00450-013-0251-7”}，“key”：“e_1_ 3_2_1_2 7_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007 \/s100090050008“}”，{“：”杰森·J·J”，“年份”：“2007年”，“非结构化”：“J·J·杰森，J·I。拉斯穆森、K.G.Larsen和A.David。使用Uppaal Tiga的气候控制器引导控制器合成。在FORMATS中，LNCS第4763卷。施普林格，2007年。J.J.Jessen、J.I.Rasmussen、K.G.Larsen和A.David。使用Uppaal Tiga的气候控制器引导控制器合成。在FORMATS中，LNCS第4763卷。Springer，2007.“}，{”key“：”e_1_3_2_1_29_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/S0020-0190（98）00150-1”}，“key”：“e_1_ 3_2_1_30_1”，“series-title”：”LIPIcs“，”volume-title“：”FSTTCS“，”author“：”Jurdzinski M.，“year”：“2008”，“unstructured”：“M.Jurdzinki and A。特里维迪。平均时间游戏。在FSTTCS中，LIPIcs第2卷。达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息馆，2008年。M.Jurdzinski和A.Trivedi。平均时间游戏。在FSTTCS中，LIPIcs第2卷。Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik，2008。“}，{”key“：”e_1_3_2_1_31_1“，”doi-asserted-by“：”publisher“，”doi“：”10.5555\/647319.721019“}”，{“key”：“e_1_ 3_2_1_1_32_1”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/s100090050010”}，“key“:”e_3_2_33_1“，“，”doi“：”10.1007\/3-540-59042-0_76“}，{”密钥“：”e_1_3_2_1_34_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.sysconle.2007.11.005“}]，”event“：{”name“：”HSCC'14:第17届混合系统国际会议：计算与控制“，”location“：”Berlin Germany“，”首字母缩写“：”HSCC'14“，”supposor“：[”SIGBED ACM嵌入式系统特别兴趣小组“]}，”container-title“：[“第17届混合系统国际会议记录：计算与控制“]，”original-title“：[]，”link“：[{”URL“：”https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2562059.2562116“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：”{“date-parts”：[2023,1,5]]，”date-time“2023-01-05T13:37:33Z“，”timestamp“：1672925853000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2562059.2562116”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2014,4,15]]}，《references-count》：34，“alternative-id”：[“10.1145\/2562562059.256211”，“10.11”145\/2562059“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/2562059.2562116“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[[2014,4,15]]}，“断言”：[{”值“：”2014-04-15“，”顺序“：2，”名称“：”发布“，”标签“：”已发布“，“组”：{“名称”：“publication_history”，“标签”：“发布历史”}}}}