{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,9,25]]，“日期时间”：“2022-09-25T04:58:49Z”，“时间戳”：1664081929717}，“发布者位置”：“Cham”，“引用计数”：29，“发布商”：“Springer Nature Switzerland”，“isbn-type”：[{“值”：“978303156281”，“类型”：”print“}，{“值”：“9783031156298”，“类型”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com\/tdm”}：1640995200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[[2022]]}，”DOI“：”10.1007\/978-3031-15629-8_27“，”type“：”book-chapter“，”created“：{”date-part“：[2022,9,24]]，”日期时间“：”2022-09-24T16:26:53Z“，”时间戳“：1664036813000}，“page”：“512-523”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：0，“title”：[“Process Algebras and \u00a0Flocks of \u00a 0Birds”]，“prefix”：“10.1007”，“author”：[{“give”：“Rocco”，“family”：“De Nicola”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Luca”，“family”：“Di Stefano”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Omar”，“family”：“Inverso”，“sequence”：“addressional”，“abfiliation“：[]{”given“：”Serenella“，”family“：”Valiani“，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“published-online”：{“date-parts”：[2022,9,7]}、“reference”：[{“key”：”27_CR1“，“doi-asserted”by“：”publisher“，”unstructured“：“Alaliyat，S.，Yndestad，H.，Sanfilippo，F.：基于遗传算法和粒子群优化算法的Boids群模型优化（比较研究）。摘自：Squazzoni，F.，Baronio，F..，Archetti，C.，Castellani，M.（编辑）第28届欧洲建模与仿真会议，ECMS 2014，布雷西亚，意大利，2014年5月27日，第643\u2013650页。欧洲建模与仿真理事会（2014）。https:\/\/doi.org\/10.7148\/2014-0643“，”doi“：”10.7148\/2014-0.643“}，{”key“：”27_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“340”，”doi:“10.1007\/3-540-63166-6_34”，“volume-title”：“计算机辅助验证”，“author”：“R Alur”，“year”：“1997”，“unstructured”：“”Alur，R.，Brayton，R.K.，Henzinger，T.A.，Qadeer，S.，Rajamani，S.K.：符号状态空间探索中的部分顺序还原。收录：Grumberg，O.（编辑）CAV 1997。LNCS，第1254卷，第340\u2013351页。施普林格，海德堡（1997）。https:\/\/doi.org\/10.1007\/3-540-63166-6_34“}，{“key”：“27_CR3”，“doi-asserted-by”：“publisher”，“unstructured”：“Ballerini，M.，et al.：支配动物集体行为的交互依赖于拓扑而非度量距离：来自实地研究的证据。Proc.Nat.Acad.Sci.105（4），1232\u20131237（2008）https:\/\/doi.org\/10.1073\/pnas.071147105，www.pnas.org\/doi\/abs\/101073\/pnas.0711437105“，”doi“：”10.1073\/panas.0711437105“}“，{”issue“：”13“，”key“：”27_CR4“，”doi-asserted-by“：”publisher“，”first page“：“：”W Bialek“，”year“：”2012“，”unstructured“：”Bialek，W.等人：自然鸟类群的统计力学。程序。国家。阿卡德。科学。109（13），4786\u20134791（2012）“，“新闻标题”：“Proc。国家。阿卡德。科学。“}，{”key“：”27_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“604”，”doi“：”10.1007\/978-3319-96145-3_34“，”volume-title“：“计算机辅助验证”，”author“：”M Blondin“，”year“：”2018“，”unstructured“：”Blondin，M.、Esparza，J.、Jaax，S.：游隼：用于分析人口协议的工具。在：Chockler，H.，Weissenbacher，G.（编辑）CAV 2018。LNCS，第10981卷，第604页\u2013611。查姆施普林格（2018）。https:\/\/doi.org\/10.1007\/978-3-319-96145-3_34“}，{”key“：”27_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“70”，”doi“：”10.1007\/9783-642-18275-4_7“，”volume-title“：“验证、模型检查和抽象解释”，”author“：”AR Bradley“，”year“：”2011“，”unstructured“：”Bradley，A.R.：基于SAT的模型检查，无需展开。收录于：Jhala，R.，Schmidt，D.（编辑）VMCAI 2011。LNCS，第6538卷，第70\u201387页。斯普林格，海德堡（2011）。https:\/\/doi.org\/10.1007\/978-3642-18275-4_7“}，{”key“：”27_CR7“，”series-title“：”Universitext“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-0-387-70914-7“，“volume-title”：“泛函分析，Sobolev空间和偏微分方程”，“author”：“H Brezis”，“year”：“2011”，“unstructured”：“”Brezis，H.：泛函分析，Sobolev空间和偏微分方程。Universitext，Springer，New York（2011年）。https:\/\/doi.org\/10.1007\/978-0-387-70914-7“}，{“key”：“27_CR8”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“首页”：“94”，“doi”：“10.1007\/978-3030-00302-9_4”，“volume-title”：”用演员编程“，”作者“：”R Casadei“，”年份“：”2018“，”非结构化“：”Casadei，R.，Viroli，M.：基于行动者的集体适应系统编程。收录：Ricci，A.，Haller，P.（编辑）《演员编程》。LNCS，第10789卷，第94\u2013122页。查姆施普林格（2018）。https:\/\/doi.org\/10.1007\/978-3-030-00302-9_4“}，{”key“：”27_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“168”，“doi”：“10.1007\/978-23-540-24730-2-15”，“volume-title”：“系统构建和分析的工具和算法”，“author”：“E Clarke”，“年份”：“2004”，“非结构化”：“Clarke，E.，Kroening，D.，Lerda，F.：检查ANSI-C程序的工具。收录：Jensen，K.，Podelski，A.（编辑）TACAS 2004。LNCS，第2988卷，第168\u2013176页。斯普林格，海德堡（2004）。https:\/\/doi.org\/10.1007\/978-3-540-24730-2_15“}，{”key“：”27_CR10“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“147”，“doi”：“10.1007\/BFb0028741”，“volume-title”：“计算机辅助验证”，“author”：“EM Clarke”，“year”：“1998”，“unstructured”：“”Clarke，E.M.，Emerson，E.A.，Jha，S.，Sistla，A.P.：模型检查中的对称性降低。作者：Hu，A.J.，Vardi，M.Y.（编辑）CAV 1998。LNCS，第1427卷，第147\u2013158页。斯普林格，海德堡（1998）。https:\/\/doi.org\/10.1007\/BFb0028741“}，{“问题”：“2”，“密钥”：“27_CR11”，“doi-asserted-by”：“出版商”，“首页”：“170”，“doi”：“10.1017\/S1365100500015029”，“卷”：“4”，“作者”：“R Cont”，“年份”：“2000”，“非结构化”：“Cont，R.，Bouchaud，J.P.：赫德行为与金融市场的总体波动。宏观经济。Dyn.4（2），170\u2013196（2000）“，”journal-title“：”宏观经济。动态。“}，{”issue“：”1“，”key“：”27_CR12“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1006\/jtbi.2002.3065“，”volume“:”218“，”author“：”ID Couzin“，”year“：”2002“，”unstructured“：”Couzin，I.D.，Krause，J.，James，R.，Ruxton，G.D.，Franks，N.R.：动物群体中的集体记忆和空间排序。J.Theor.Biol.218（1），1\u201311（2002）“，”《新闻标题》：J.Theor。Biol.“}，{”issue“：“2”，”key“：“27_CR13”，”doi-asserted-by“：”publisher“，”first page“：”91“，”doi“：”10.2307\/1536346“，”volume“：：”34“，”author“：”W Craig“，”year“：”1918“，”unstructured“：”Craig，W.：作为本能组成部分的食欲和厌恶。Biol.Bull.34（2），91\u2013107（1918）“，”journal-title“：”Biol.Bull。“}，{”key“：”27_CR14“，”doi-asserted-by“：”publisher，“DOI”：“10.1016\/j.scico.2019.102345”，“volume”：“187”，“author”：“R De Nicola”，“year”：“2020”，“unstructured”：“De Nicola，R.，Di Stefano，L.，Inverso，O.：具有虚拟污点的多代理系统。科学。公司。程序。187, 102345 (2020). https:\/\/doi.org\/10.1016\/j.scico.2019.102345“，”journal-title“：”科学。公司。程序。}，{“key”：“27_CR15”，“unstructured”：“Deneubourg，J.L.，Goss，S.，Franks，N.，Sendova-Frands，A.，Detrain，C.，Chr\u00e9tien，L.：类机器人和类机器人集体排序的动力学。摘自：从动物到动画：第一届自适应行为模拟国际会议论文集，第356\u2013365页（1991）”}issue“：”3“，”key“：”27_CR16“，”doi-asserted-by“：”publisher“，”first-page“：”1“，”doi“：”10.1145\/3490387“，”volume“：“31”，”author“：”L Di Stefano“，”year“：”2022“，”unstructured“：”Di Stefano，L.，De Nicola，R.，Inverso，O.：通过顺序仿真验证分布式系统。ACM事务处理。柔和。工程方法。31（3），2013年1月41日（2022年）。https:\/\/doi.org\/10.1145\/3490387“，”journal-title“：”ACM Trans。柔和。工程方法。“｝，｛”issue“：”2“，”key“：”27_CR17“，”doi asserted by“：”publisher“，”first page“：”160“，”doi“：”10.2307\\4081266“，”volume“：”69“，”author“：”JT-Emlen“，”year“：”1952“，”非结构化“：”Emlen，J.T.：鸟类的植绒行为。Auk 69（2），160\u2013170（1952）“，”期刊标题“：”Auk“｝，｛”issue“：”3\u20134“，”key“：”27_CR18“，”doi由“：”publisher“断言，”首页“：”157“，”DOI“：”10.1016\/S0167-2789（03）00102-7“，“卷”：“181”，“作者”：“G Gr\u00e9goire”，”年份“：”2003“，”非结构化“：”Gr\u100e9gorie，G.，Chat\u00e9，H.，Tu，Y.：没有领导者，一起行动，一起生活。物理学。D： 非线性现象。181（3\u20134），157\u2013170（2003）“，“期刊标题”：“物理学。D： 非线性现象。“}，{”key“：”27_CR19“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“85”，”doi“：”10.1007\/978-3319-21690-4_6“，”volume-title“：“计算机辅助验证”，”author“：”I Konnov“，”year“：”2015“，”unstructured“：”Konnov，I.、Veith，H.、Widder，J.：SMT和POR节拍计数器抽象：基于阈值的分布式算法的参数化模型检查。收录人：Kroening，D.，P\u0103s\u0103reanu，C.S.（编辑）CAV 2015。LNCS，第9206卷，第85\u2013102页。查姆施普林格（2015）。https:\/\/doi.org\/10007\/978-3-319-21690-4_6“}，{“key”：“27_CR20”，“doi-asserted-by”：“crossref”，“unstructured”：“Kouvaros，P.，Lomuscio，A.：机器人群验证的计数器抽象技术。摘自：Bonet，B.，Koenig，S.（eds.）第29届人工智能会议（AAAI），第2081\u20132088页。AAAI（2015）“，”DOI“：”10.1609\/AAAI.v29i1.9442“}，{”issue“：”1\u20132“，”key“：”27_CR21“，”DOI-asserted-by“：”publisher“，”first page“：“85”，“DOI”：“10.1016\/S0921-8890（99）00066-4”，“volume”：“30”，“author”：“CR Kube”，“year”：“2000”，“unstructured”：“Kube，C.R.，Bonabeau，E.：蚂蚁的合作运输机器人。机器人。自动系统30（1\u20132），85\u2013101（2000）”，“期刊标题”：“机器人。自动。系统。“}，{”issue“：”2\u20134“，”key“：”27_CR22“，”doi-asserted-by“：”publisher“，”首页“：”149“，“doi”：“10.1016\/0162-3095（88）90019-2”，“volume”：“9”，“author”：“KS Norris”，“year”：“1988”，“unstructured”：“Norris，K.S.，Schilt，C.R.：三维空间中的合作社会：关于聚集、群体和学校的起源，特别是海豚和鱼类。乙醇。社会生物学。9（20134年2月），1492013179（1988年）“，“新闻标题”：“酒精。社会生物学。}，{“key”：“27_CR23”，“doi-asserted-by”：“publisher”，“unstructured”：“Reynolds，C.W.：群、群和学校：分布式行为模型。摘自：Stone，M.C.（ed.）《第十四届计算机图形和交互技术年会论文集》，SIGGRAPH 1987，Anaheim，27\u201331 1987年7月，pp.25\u201334。ACM（1987）。https:\/\/doi.org\/10.1145\/37401.37406“，”doi“：”10.1145\/37401-37406“}，{”key“：”27_CR24“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“127”，“doi”：“10.1007\/3-540922-X_8”，“volume-title”：“计算机辅助设计中的形式方法”，“author”：“M Sheeran”，”year“2000”，“非结构化“：”Sheeran，M.，Singh，S.，St\u00e5lmarck，G.：使用感应和SAT解决方案检查安全性能。收录：Hunt，W.A.，Johnson，S.D.（编辑）FMCAD 2000。LNCS，第1954卷，第127\u2013144页。斯普林格，海德堡（2000）。https:\/\/doi.org\/10.1007\/3-540-40922-X_8“}，{“issue”：“1465”，“key”：“27_CR25”，“doi-serted-by”：“publisher”，“first page”：”5“，“doi”：“10.1098\/rstb.2005.1733”，“volume”：：“361”，“author”：“DJ Sumpter”，“year”：“2006”，“unstructured”：“Sumpter，D.J.：集体动物行为的原则。Philos.Trans.Royal Soc.B:Bio《科学》361（1465），5\u201322（2006）“，“新闻标题”：“菲洛斯。事务处理。皇家社会学学士：生物。科学。“}，{”key“：”27_CR26“，”unstructured“：”Trotter，W.：“和平与战争中羊群的本能。TF Unwin Limited（1920）”}，}，“key”：“27_CR27”，“unstructure”：“Valentini，G.，Hamann，H.，Dorigo，M.，et al.：自组织集体决策：加权选民模型。in:AAMAS，pp.45\u201352（2014）“}DOI“：”10.4324\/9781315624860“，”volume-title“：”社会昆虫：它们的起源和进化“，”author“：”WM Wheeler“，”year“：”2015“，”unstructured“：”Wheeler，W.M.：社会昆虫：其起源和进化。Routledge，Abingdon（2015）“}，{”key“：”27_CR29“，”series-title“：”物联网“，”doi-asserted-by“：”publisher“，”首页“：”177“，“doi”：“10.1007\/978-3319-96550-5_8”，“volume-title”：“智能城市生态系统物联网”，“author”：“O Zedadra”，“year”：“2019”，“unstructured”：“Zedadra，O.，Guerrieri，A.，Jouandeau，N.，Spezzano，G.，Seridi，H.，Fortino，G.:集群智能和基于物联网的智能城市：综述。摘自：Cicirelli，F.，Guerreri，A.，Mastroianni，C.，Spezzano，G.，Vinci，A.（编辑）智能城市生态系统物联网。IT，第177\u2013200页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-319-96550-5_8“}]，“container-title”：[“计算机科学课堂讲稿”，“通过时间自动机从过程代数到模型学习的旅程”]，“original-title“：[]，”link“：[{”URL“：”https:\//link.springer.com\/content\/pdf\/10007\/9783-031-15629-8_27“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,9,24]]，”date-time“：”2022-09-24T16:32:18Z“，”timestamp“：1664037138000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/link.springer.com\/10007\/978-3-031-15629-8_27”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[[2022]]}，“ISBN”：[“9783031156281”，“978303156298“]，”引用计数“：29，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-031-15629-8_27“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2022]]}，”断言“：[{”值“：”2022年9月7日“，”顺序“：1，”名称“：”first_online”，“label”：“first online”，“group”：｛“name”：“ChapterHistory”，“label”：“ChapterHistory”｝｝]｝｝