｛“状态”：“确定”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,4,5]]，“日期-时间”：“2022-04-05T19:59:23Z”，“时间戳”：1649188763882｝，“引用计数”：19，“发布者”：“开放发布协会”，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“Electron.Proc.Theor.Compute.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.256.20”，“type”：“journal-article”，“created”：{“date-parts”：[[2017,9,6]]，“date-time”：“2017-09-06T17:26:47Z”，“timestamp”：1504718807000}，“page”：：[“ParaPlan:平面多边形微分包含系统并行可达性分析工具”]，“前缀”：“10.4204”，“卷”：“256”，“作者”：[{“给定”：“Andrei”，“家族”：“Sandler”，“序列”：“第一”，“从属关系”：[}“名称”：“赫特福德大学”}]}：“赫特福德大学”}]}，“成员”：“2720”，“在线发布”：{“日期-部分”：[[2017,9,6]]}：“138”，“作者”：“Asarin”，“year”：“1995”，“journal-title”：“Theoryal Comp.Science”}，{“key”：“APSY02”，“doi-asserted-by”：“publisher”，“first-pages”：“354”，“doi”：“10.1007\/3-540-45657-0_28”，“article-title“：”SPeeDI-多边形混合系统的验证工具“，”volume-title：“第十四届计算机辅助验证国际会议（CAV）”，“author”：“Asalin”，“year”：“2002”}，{“issue”：“1”，“key”：“APSY08”，“doi-asserted-by”：“publisher”，“first page”：”1“，“doi”：“10.1016\/j.tcs.2007.09.025”，“article-title”：“多边形混合系统的算法分析，第二部分：相图和工具”，“volume”：《390》，“author”：“Asarin”，“year:”2008“，”journal-title“：”Theory Computer Science“}”，{”key“ASYY 01英寸，“doi-asserted-by”：“publisher”，“first page”：“89”，“doi”：“10.1007\/3-540-45351-2_11”，“article-title”：“On the Decreability of the Reachability the Problem of the Planar Differential Inclusions for Planar Divisional Inclusion”，“volume-title“：”Hybrid Systems:Computation and Control，第四届国际研讨会，HSCC 2001，罗马，意大利，2001年3月28-30日，Proceedings“，作者”：“Asarin”，“年份”：“2001”}，{“key”：“ASY07”，“doi-asserted-by”：“publisher”，“first page”：”231“，“doi”：“10.1016\/j.tcs.2007.03.055”，“article-title”：“多边形混合系统的算法分析，第一部分：可达性”，“volume”：：“379”，“author”：“Asarin”，“year”：“2007”，“journal-title“：”理论计算机科学“}”，{”key“：”CAS13“，”doi-assert-by“：”publisher“，”首页“：“258”，“DOI”：“10.1007\/978-3642-39799-8_18”，《article-title》：“Flow*：非线性混合系统分析仪”，“volume-title”：“计算机辅助验证-第25届国际会议，2013年7月13-19日，俄罗斯圣彼得堡，CAV 2013。Proceedings“，”author“：”Chen“，”year“：”2013“}，{”key“：”CSMAFK15“，”doi-asserted-by“：”publisher“，”first page“：“408”，”doi“：”10.1007\/978-3319-17524-9_29“，”article-title“：”A Benchmark Suite for Hybrid Systems Reachability Analysis“，”volume-title”：“NASA Formal Methods-7th International Symposium，Pasadena，CA，USA，2015年4月27日至29日，”author“：”Chen“，”year“：”2015“}，{”key“：”FI04“，”doi-asserted-by“：”publisher“，”first page“：“326”，”doi“：”10.1007\/978-3-540-24743-2_22“，”article-title“：”混合系统验证基准“，”volume-title”：“混合系统国际研讨会：计算与控制”，“author”：“Fehnker”，“year”：“2004”}，”{“key”：“GDBBGR16”，“doi-assert-by”：“”publisher”，“首页”：“12”，“DOI”：“10.1109\/MEMBOD.2016.7797741”，“文章标题”：“混合系统的并行可达性分析”，“卷标题”：“2016 ACM\/IEEE系统设计正式方法和模型国际会议，MEMOCODE 2016，印度坎普尔，2016年11月18日至20日”，“作者”：“Gurung”，“年份”：“2016”}，{“密钥”：“hansen2009gspeedi“，“doi-asserted-by”：“publisher”，“first page”：“343”，“doi”：“10.1007\/978-3642-03466-4_23”，《article-title》：“GSPeeDi\u2013a广义多边形混合系统验证工具”，“volume-title”：“国际计算理论研讨会”，“author”：“Hansen”，《year》：“2009”}，{“issue”：“1”，“key”：”“HKPV98”，“doi-asserted-by“：”publisher“，”first page“：”94“，”doi“：”10.1006\/jcss.1998.1581“，”article-title“：”混合自动机的决定因素是什么？“，”volume“：”57“，”author“：”Henzinger“，”year“：”1998“，”journal-title“：”journal of Computer and System Sciences“}，{“key”：“KGCC15”，”doi-asserted-by“：”publisher“，”first page“：“200”，“doi”：“10.1007\/978-3662-46681-0_15”，“article-title”：“dReach:\u03b4-Reachability Analysis for Hybrid Systems”，“volume-titel”：“”系统构建和分析的工具和算法——第21届国际会议，TACAS 2015，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2015，英国伦敦，2015年4月11日至18日。Proceedings“，”author“：”Kong“，”year“：”2015“}，{”key“：”PS2006“，”doi-asserted-by“：”publisher“，”first page“：“168”，”doi“：”10.1007\/11921240_12“，”article-title“：”多边形混合系统并行模型检查的合成算法“，”volume-title”：“计算理论方面的国际学术讨论会”，“author”：“Pace”，“year”：“2006”}，}“key“：“PS08”，“doi-asserted-by”：“publisher”，“first page”：“274”，“doi”：“10.1007\/978-3-540-85762-4_19”，“article-title”：“放松的善仍然是好的”，“volume-title“：“计算的理论方面——ICTAC 2008，第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1-3日。Proceedings“，”author“：”Pace“，”year“：”2008“}，{”key“：”PQ08“，”doi-asserted-by“：”publisher“，”first page“：“171”，”doi“：”10.1007\/978-3-540-71070-7_15“，”article-title“：”KeYmaera:混合系统的混合定理证明程序（系统描述）“，”volume-title”：“自动推理，第四届国际联合会议，2008年8月12日至15日，澳大利亚悉尼，IJCAR 2008，Proceedings，“author”：“Platzer”，“year”：“2008”}，{“key”：“RS05”，“doi-asserted-by”：“publisher”，《首页》：“573”，“doi”：“10.1007\/978-3540-31954-2_37”，“article-title”：“通过基于约束传播的抽象精化对混合系统进行安全验证”，“volume-title”：“混合系统：计算与控制，第八届国际研讨会（HSCC）”，“author”：“Ratschan”，“year”：“2005”}，{“key”：“ST17”，“volume-titel”：“ParaPlan Tool”，“作者”：“Sandler”}8“，”DOI“：”10.1007\/978-3-319-25141-7_2“，”article-title“：”混合系统验证中的当前挑战“，”volume-title”：“网络物理系统设计、建模和评估国际研讨会”，“author”：“Schupp”，“year”：“2015”}，{“issue”：“3”，“key”：“T73”，“DOI-asserted-by”：“publisher”，“first page”：”211“，“DOI”：“10.1137\/0202017”，“article-title“：“有向图基本回路的枚举”，“volume”：“2”，“author”：“Tarjan”，“year”：“1973”，“journal-title”：“SIAM J.Compute”。“}]，”container-title“：[”理论计算机科学电子论文“]，”original-title”：[]，”language“：”en“，”deposed“：{”date-parts“：[[2017,9,13]]，”date-time“：”2017-09-13T04:21:59Z“，”timestamp“：1505276519000}，”score“：1，”resource“：{primary”：{“URL”：“http://\/arxiv.org\/abs\/1709.02108v1”}}}，“subtittle”：[]，“短标题”：[]，“已发布”：{“date-parts“：[[2017,9,6]]}，”references-count“：19，”URL“：”http://\/dx.doi.org\/10.4204\/eptcs.256.20“，”relation“：{}，“ISSN”：[“2075-2180”]，”ISSN-type“：[{”value“：”2075-2180“，”type““：”electronic“}]，”subject“：[]，”published“：{”date-part“：[2017,6]}}}