{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,19]]，“日期时间”：“2023-09-19T09:43:18Z”，“时间戳”：1695116598352}，“出版商位置”：“查姆”，“参考计数”：40，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783030255398”，“类型”：”打印}，{“值”：“9783030255404”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2019,1,1]]，“date-time”：“2019-01-01T00:00:00Z”，“timestamp”：1546300800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/creativecommons.org\/licenses\/by\/4.0”}]striction“：false}，”short-container-title“：[]，“published-print”：{“date-parts”：[2019]]}，“DOI”：“10.1007\/978-3-030-25540-4_4”，“type”：“book-chapter”，“created”：{“date-ports”：[[2019,7,12]，“date-time”：“2019-07-12T15:02:35Z”，“timestamp”：1562943755000}，”page“：”60-78“update-policy”：”http://dx.DOI.org\/10.10007\/springer_crossmark _策略“，”源“：”Crossref“，”is-referenced-by-count“：1，”title“：[“Discounted-Sum Inclusion的安全与协同安全比较自动机”]，“prefix”：“10.1007”，“author”：[{“given”：“Suguman”，“family”：“Bansal”，“sequence”：“first”，“affiliation”：[]}，“引用”：[{“键”：“4_CR1”，“非结构化”：“GLPK.https:\/\/www.gnu.org\/software\/GLPK\/”}，{“key”：“4_CR2”，“unstructured”：“Rabit-Reduce.http://\/www.languageinclusion.org\/”{“key”：”4_CR3“，”doi-asserted-by“：”crossref“，”unstructure“：“Abdulla，P.A.等人：基于ramsey-based b\u00fcchi自动机普适性和包含测试中的模拟包含。摘自：《CAV学报》，第132\u2013147页。Springer（2010）“，”DOI“：”10.1007\/978-3-642-14295-6_14“}，{”key“：”4_CR4“，”DOI-asserted-by“：”crossref“，”unstructured“：”Abdulla，P.A.，et al……Advanced ramsey-based b\u00fcchi automata inclusion testing。In:Proceedings of CONCUR，vol.11，pp.187\u2013202。Springer（2011）“，”DOI“：”10.1007\/978-3-642-23217-6_13“}，{”issue“：”3“，”key“：”4_CR5“，”DOI-asserted-by“：”publisher“，”first page“：“117”，“DOI”：“10.1007\/BF01782772”，“volume”：“2”，“author”：“B Alpern”，“year”：“1987”，“unstructured”：“Alpern，B.，Schneider，F.B.：识别安全性和活性。Distribute.计算2（3），117\u2013126（1987）“，”新闻标题“：”分布计算。“}，{”key“：”4_CR6“，”first page“：“1”，“volume”：“50”，“author”：“R Alur”，“year”：“2017”，“unstructured”：“Alur，R.，Mamouras，K.：streamqre语言简介。可靠软件系统工程50，1（2017）”，“journal-title”：“可靠软件系统工程师”}，}”issue“：“2”，“key”：6“，“作者”：“B Aminof”，“年份”：“2010”，“非结构化“：”Aminof，B.，Kupferman，O.，Lampert，R.：用加权自动机推理在线算法。事务处理。算法6（2），28（2010）“，“日志标题”：“Trans。算法“}，{“key”：“4_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Andersen，G.，Conitzer，V.：无限重复游戏的快速平衡计算。摘自：《AAAI学报》，第53页\u201359（2013）”，“doi”：“10.1609”Andersson，D.：折扣支付游戏的改进算法。摘自：ESSLLI学生会，第91\u201398页（2006）“}，{“key”：“4_CR10”，“unstructured”：“Baier，C.：概率模型检查。摘自：《可靠软件系统工程》，第1\u201323页（2016）”}，“key“：”4_CR11“，“doi-asserted-by”：“crossref”，“非结构化”：“Bansal，S.、Chaudhuri，S.和Vardi，M.Y.：自动与线性编程折扣-总和包含。In:Proceedings of International Conference on Computer-Aided Verification（CAV）（2018）“，“DOI”：“10.1007\/978-3-319-96142-2_9”}，{“key”：“4_CR12”，“DOI-asserted-by”：“crossref”，“unstructured”：“Bansal，S.、Chaudhuri，S.和Vardi，M.Y.：定量验证中的比较自动机。在：《软件科学与计算结构基础国际会议论文集》（FoSSaCS）（2018）中，“DOI”：“10.1007\/978-3-319-89366-2_23”}，{“key”：“4_CR13”，“DOI断言者”：“crossref”，“非结构化”：“Bansal，S.，Chaudhuri，S.，Vardi，M.Y.：定量验证中的比较器自动机（完整版）.CoRR，abs \/1812.06569（2018）“，”DOI“：”10.1007\/978-3-319-89366-2_23“}，{”key“：”4_CR14“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：Bloem，R.、Chatterjee，K.、Henzinger，T.A.、Jobstmann，B.：通过定量目标提高合成质量。收录：Bouajjani，A.，Maler，O.（编辑）CAV 2009。LNCS，第5643卷，第140\u2013156页。斯普林格，海德堡（2009）。https:\/\/doi.org\/10.1007\/978-3642-02658-4_14“}，{”issue“：”1“，”key“：”4_CR15“，”first page“：“1”，“volume”：“10”，”author“：”U Boker“，”year“：”2014“，”unstructured“：”Boker，U.，Henzinger，T.A.：discounted-sum automata的精确和近似确定。LMCS 10（1），1\u201313（2014）“，”journal-title“：”LMCS“}”，{“”key“：”4_CR16“，”series-title“：”计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“50”，“doi”：“10.1007\/11560548_7”，“volume-title”：“正确的硬件设计和验证方法”，“author”：“A Chakrabarti”，“year”：“2005”，“unstructured”：“Chakrabarti，A.，Chatterjee，K.，Henzinger，T.A.，Kupferman，O.，Majumdar，R.：使用绑定函数验证数量属性。摘自：Borrione，D.，Paul，W.（编辑）CHARME 2005。LNCS，第3725卷，第50\u201364页。斯普林格，海德堡（2005）。https:\/\/doi.org\/10.1007\/11560548_7“}，{“问题”：“4”，“密钥”：“4_CR17”，“首页”：“23”，“卷”：“11”，“作者”：“K Chatterjee”，“年份”：“2010”，“非结构化”：“Chatterjie，K.，Doyen，L.，Henzinger，T.A.：定量语言。Trans.Computat.Logic 11（4），23 4_CR18“，”doi-asserted-by“：”crossref”，“非结构化”：“Chaudhuri，S.，Sankaranarayanan，S.、Vardi，M.Y.：常规真实分析。收录于：《LICS学报》，第509\u2013518页（2013）“，“DOI”：“10.1109\/LICS.2013.57”}，{“key”：“4_CR19”，“series-title”：“计算机科学讲义”，“DOI-asserted-by”：“publisher”，“first page”：”1022“，“DOI”：”10.1007\/3-540-45061-0_79“，“volume-title”：”自动化，语言和编程“author”：“L Alfarode”，“year”：“2003”，“unstructured”“：”de Alfaro，L.，Henzinger，T.A.，Majumdar，R.：系统理论中的未来贴现。收录人：Baeten，J.C.M.，Lenstra，J.K.，Parrow，J.，Woeginger，G.J.（编辑）ICALP 2003。LNCS，第2719卷，第1022\u20131037页。施普林格，海德堡（2003）。https:\/\/doi.org\/10.1007\/3-540-45061-0_79“}，{“key”：“4_CR20”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《2》，“doi”：“10.1007\/978-3642-12002-2_2”，“volume-title”：《系统构建和分析的工具和算法》，“author”：“L Doyen”，“year”：“2010”，“unstructured”：“Doyen，L.，Raskin，J.-F.：有限自动机的反链算法。收录：Esparza，J.，Majumdar，R.（编辑）TACAS 2010。LNCS，第6015卷，第2\u201322页。施普林格，海德堡（2010）。https:\/\/doi.org\/10.1007\/978-3642-12002-2_2“}，{“key”：“4_CR21”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/9783-642-01492-5”，“volume-title”：“加权自动机手册”，“author”：“M Droste”，“year”：“2009”，“unstructured”：“Droste，M.，Kuich，W.，Vogler，H.：加权自动机指南。Springer，Berlin（2009）”}，“键”：“4_CR22”，“doi-asserted-by“：”crossref“，”unstructured“：”D\u2019Antoni，L.，Samanta，R.，Singh，R.：Qlose：具有定量目标的程序修复。收录于：CAV会议记录，第383\u2013401页。Springer（2016）“，”DOI“：”10.1007\/978-3-319-41540-6_21“}，{”key“：”4_CR23“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“132”，“DOI”：“10.1007\/978-3-642-32940-1_11”，“volume-title”：“CONCUR 2012\u2013并发理论”，“author”：“E Filiot”，“year”：“2012”，“unstructured”：“”Filiot，E.，Gentilini，R.，Raskin，J.-F.：由函数自动机定义的定量语言。收录：Koutny，M.，Ulidowski，I.（编辑）CONCUR 2012。LNCS，第7454卷，第132\u2013146页。施普林格，海德堡（2012）。https:\/\/doi.org\/10.1007\/978-3642-32940-1_11“}，{“key”：“4_CR24”，“doi-asserted-by”：“crossref”，“unstructured”：“He，K.，Lahijanian，M.，Kavraki，L.E.，Vardi，M.Y.：资源约束下有限任务的反应合成。摘自：2017 IEEE\/RSJ智能机器人和系统国际会议（IROS），第5326\u20135332页。IEEE（2017）“，”DOI“：”10.1109\/IROS.2017.8206426“}，{”key“：”4_CR25“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“386”，“DOI”：“10.1007\/978-3319-96145-3_21”，“volume-title”：“计算机辅助验证”，“author”：“Q Hu”，“year”：“2018”，“unstructured”：“Hu，Q.，DAntoni，L.：句法引导的定量句法目标合成。收件人：Chockler，H.，Weissenbacher，G.（编辑）CAV 2018。LNCS，第10981卷，第386\u2013403页。查姆施普林格（2018）。https:\/\/doi.org\/10.1007\/978-3-319-96145-3_21“}，{”key“：”4_CR26“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“172”，“doi”：“10.1007\/3-540-48683-6_17”，“volume-title”：“计算机辅助验证”，“author”：“O Kupferman”，“年份”：“1999”，“非结构化”：“Kupferman，O.，Vardi，M.Y.：安全特性的模型检查。收录：Halbwachs，N.，Peled，D.（编辑）CAV 1999。LNCS，第1633卷，第172\u2013183页。斯普林格，海德堡（1999）。https:\/\/doi.org\/10.1007\/3-540-48683-6_17“}，{“问题”：“3”，“密钥”：“4_CR27”，“doi-asserted-by”：“发布者”，“首页”：“408”，“doi”：“10.1145\/377978.377993”，“卷”：“2”，“作者”：“O Kupferman”，“年份”：“2001”，“非结构化”：“Kupfer曼，O.，Vardi，M.Y.：弱交替自动机并没有那么弱。Trans.Computat逻辑2（3），408\u2013429（2001）“，”journal-title“：”事务处理。计算。Logic“}，{”key“：”4_CR28“，”doi-asserted-by“：”crossref“，”unstructured“：”Kwiatkowska，M.：定量验证：模型、技术和工具。摘自：欧洲软件工程会议和ACM SIGSOFT软件工程基础研讨会（ESEC）第六届联席会议记录，pp.449\u2013458。ACM Press，2007年9月“，“DOI”：“10.1145\/1295014.1295018”}，{“key”：“4_CR29”，“DOI-asserted-by”：“crossref”，“unstructured”：“Lahijanian，M.，Almagor，S.，Fried，D.，Kavraki，L.E.，Vardi，M.Y.：这一次机器人解决了成本问题：时间逻辑规划的定量方法，部分满意。摘自：AAAI，pp.3664\u20133671（2015）”DOI“：”10.1609\/aaai.v29i1.9670“}，{“issue”：“1”，“key”：“4_CR30”，“DOI-asserted-by”：“publisher”，“first-page”：“63”，“DOI”：“10.1145\/2480359.2429079”，“volume”：”48“，“author”：“R Mayr”，“year”：“2013”，“unstructured”：“Mayr，R.，Clemente，L.：高级自动机最小化。ACM SIGPLAN Not.48（1），63\u201374（2013）“，”journal-title“：”ACM SIGPLAN Not.“}，{”key“：”4_CR31”，“连载”：“理论计算机科学专著。A EATCS Series“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3642-01492-5_6“，”volume-title“：”加权自动机手册“，”author“：”M Mohri“，”year“：”2009“，”unstructured“：”Mohri，M：加权自动机算法。摘自：Droste，M.、Kuich，W.、Vogler，H.（编辑）《加权自动机手册》。理论计算机科学专著。EATCS系列。施普林格，柏林（2009）。https:\/\/doi.org/10.1007\/978-3-642-01492-56“｝，｛“issue”：“1”，“key”：“4_CR32”，“doi asserted by”：“publisher”，“first page”：“69”，“doi”：“10.1006\/csla.2001.0184”，“volume”：“16”，“author”：“M Mohri”，“year”：“2002”，“nonstructured”：“Mohri，M.，Pereira，F.，Riley，M.：语音识别中的加权有限状态转换器.Comput.speech Lang.16（1），69\u201388（2002）“，”新闻标题“：”计算。演讲语言。“}，{“key”：“4_CR33”，“volume-title”：“博弈论课程”，“author”：“MJ Osborne”，“year”：“1994”，“unstructured”：“Osboren，M.J.，Rubinstein，A.：博弈论课程。麻省理工学院出版社，剑桥（1994）”}，“key“：”4_CR34“doi-asserted-by”：“publisher”，“first-page”：“331”，“doi”：“10.1016\/S0927-0507（05）80172-0“，”volume：“2”，“作者”：“ML Puterman”，“年份”：“1990”，“非结构化”：“Puterman，M.L.：马尔可夫决策过程。手册操作。资源管理。科学。2，331\u2013434（1990）“，“日记标题”：“手册操作。资源管理。科学。}，{“key”：“4_CR35”，“volume-title”：“数学分析原理”，“author”：“W Rudin”，“year”：“1964”，“unstructured”：“Rudin，W.：数学分析原理，第3卷。McGraw-Hill，New York（1964）“}，{“key”：“4_CR36”，“doi-asserted-by”：“crossref”，“unstructured”：“Safra，S.：关于$$\\omega$$-automata的复杂性。摘自：FOCS会议录，第319\u2013327页。IEEE（1988）“，“DOI”：“10.1109\/SFCS.1988.21948”}，{“key”：“4_CR37”，“volume-title”：“强化学习简介”，“author”：“RS Sutton”，“year”：“1998”，“unstructured”：“Sutton，R.S.，Barto，A.G.：强化学习简介，第135卷。麻省理工学院出版社，剑桥（1998）“}，{”key“：”4_CR38“，”series-title“：”计算机科学讲稿（人工智能讲稿）“，”doi-asserted-by“：”publisher“，”first page“：“396”，”doi“：”10.1007\/11591191_28“，”volume-title“：“编程逻辑、人工智能和推理”，”author“：”D Tabakov“，”year“：”2005“，”unstructured“：”Tabakov，D.，Vardi，M.Y.：经典自动机构造的实验评估。收录：Sutcliffe，G.，Voronkov，A.（编辑）LPAR 2005。LNCS（LNAI），第3835卷，第396\u2013411页。斯普林格，海德堡（2005）。https:\/\/doi.org\/10.1007\/11591191_28“}，{“key”：“4_CR39”，“volume-title”：“Automata，Logics，and Infinite Games:A Guide to Current Research”，“author”：“W Thomas”，“year”：“2002”，“unstructured”：“Thomas，W.，Wilke，T.，et al.：Automata、Logics和Infinite游戏：A Guide for Current Resource，vol.2500。Springer Science&Business Media，Berlin（2002）“}，{“key”：“4_CR40”，“doi-asserted-by”：“crossref”，“unstructured”：“Vardi，M.Y.：b\u00fcchi互补传奇。摘自：计算机科学理论方面年度研讨会，第12\u201322页。Springer（2007）“，”DOI“：”10.1007\/978-3-540-70918-3_2“}]，”container-title“：[”计算机辅助验证“，”计算机科学课堂讲稿“]，”原文标题“：[]，”链接“：[{”URL“：”http://\/link.Springer.com\/content\/pdf\/10.1007\/978-30-25540-4_4“，”content-type“：”unspecified“，”内容版本“：”vor“，”intended-application“：”相似性检查“}]，“deposed”：{“date-parts”：[[2023,9,18]]，“date-time”：“2023-09-18T06:51:48Z”，“timestamp”：1695019908000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com/10.1007\/978-3030-25540-4_4”}}，”subtitle“：[]，”shorttitle“：[]，”issued“30255398“，”9783030255404“]，”references-count“：40，”URL“：“http://\/dx.doi.org \/10.1007\/978-3-030-25540-4_4”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”2019年7月12日“，”订单“：1，”名称“：”first_online“，”标签“：”first online“，“group”：{“name”：“ChapterHistory”，“label”：“Cha章历史”}}，{“value”：“CAV”，“order”：1，“name”：“conference_acrombit”，“标签”：“会议缩写”，“group”：{“name”:“ConferenceInfo”，“table”：“Conferency Information”}}}：“ConferenceInfo”，“label”：“Confection Information”}}，{“value”：“New York City，NY”，“order”：3，“name”：“Conference_City”，“标签”：“会议城市”，“group”：{“name”:“ConfernceInfo”：“会议信息”}}，{“value”：“2019”，“order”：5，“name”：“Conference_year”，“label”：“会议年份”，“group”：{“name”:“ConferenceInfo”，“标签”：“会议信息”}，}“值”：“2017年7月15日”，“订单”：7，“name“：”Conference_start_date“，”label“：”会议开始日期“，”group“：{”name“：“ConfernceInfo”：“2019年7月18日”，“order”：8，“name”：“conference_end_date”，“label”：“会议结束日期”，“group”：{“name”:“ConferenceInfo”，”label“：“会议信息”}}，{“value”：“31”，”order“：9，”name“：”conference_number“，”lable“：”会议编号“，”group“：name“：”conference_id“，“label”：“会议ID”，“group”：｛“name”：“ConferenceInfo”，“label”：“会议信息”｝｝，｛“value”：“http:\/\/i-cav.org/2019\/”，“order”：11，“name”：“Conference_url”，“label”：“会议url”，“group”：｛“name”：“ConferenceInfo”，“label”：“会议信息”｝，｛“value”：“双盲”，“order”：1，“name”：“type”，“label”：“type”，“group”：｛“名称”：“ConfEventPeerReviewInformation”，“label”：“同行评议信息（由会议组织者提供）”}}，{“value”：“EasyChair”，“order”：2，“name”：“conference_management_system”，“table”：“会议管理系统”，“group”：，{“value”：“258”，“order”：3，“name”：“number_of_submissions_sent_for_review”，“label”：“发送供审阅的提交数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“67”，“订单”：4，“name）：“number _of_full_papers_accepted”，”label“：“接受的完整论文数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“Peer Review Information（由会议组织者提供）”}}，{“value”：“0”，“order”：5，“name”:“number_of_short_papers_accepted”，“table”：“接受的短文数”，“groups”：{“name”∶“ConfeventPeerReveewInformation“，”label“：“同行评审信息（由会议组织者提供）”}}，{“value”：“26%-该值由等式“接受的全文数”/“发送供评审的提交数*100”计算，然后四舍五入为整数。”，“order”：6，“name”：“acceptance_rate_of_Full_Papers”，“label”：“全文接受率”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}，{“value”：“9”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行审阅信息（由会议组织者提供）”}}，{“value”：：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}]}}