{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,12,13]]，“日期时间”：“2023-12-13T16:46:57Z”，“时间戳”：1702486017536}，“发布者位置”：“查姆”，“引用计数”：73，“出版商”：“斯普林格自然瑞士”，“isbn-type”：[{“值”：“978303156281”，“类型”：”打印“}，{“值”：“9783031156298”，“type”：“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”}，{“开始”：{“date-ports”：[2022,1,1]，“日期-时间”：“2042-01-01T 00:00Z”，“timestamp”：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-3-031-15629-8_2“，”类型“：”book-chapter“，”创建“：{”date-part“：[[[2022,9,24]]，“日期-时间”：“2022-09-24T16:26:53Z”，“时间戳”：1664036813000}，“页面”：“27-45”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源代码”：“Crossref”、“is-referenced-by-count”：2，“标题”：[“操作因果关系\u2013必然充分和\u00a0充分必要”]，“前缀”：“10.1007”，《作者》：[{“给定”：“克里斯特尔”，“家族”：“贝尔”，“序列”：“第一个“，“affiliation”：[]}，{“given”：“Clemens”，“family”：“Dubslaff”，“sequence”：“additional”，“affaliance”：[]}“附加”，“从属关系”：[]}，{“给定”：“Robin”，“family”：“Ziemek”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“published online”：｛“date parts”：[[2022,9,7]]｝，“reference”：[｛“key”：“2_CR1”，“series title”：“Lecture Notes in Computer Science”，“doi asserted by”：“publisher”，“first page”：“20”，“doi”：“10.1007\/978-3-319-99154-2_2”，“volume title”：“Quantitative Evaluation of Systems”，“author”：“E\u00c1brah\u00e1m”，“year”：“2018”，“unstructured”：“\u00c 1brah\ u00e1m，E.，Bonakdarpour，B.：HyperPCTL：概率超属性的时序逻辑。In：McIver，a.，Horvath，a.（eds.）QEST 2018。LNCS，第11024卷，第20\u201335页。查姆施普林格（2018）。https:\/\/doi.org\/10.1007\/978-3-319-99154-2_2“}，{”key“：”2_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“894”，”doi“：”10.1007\/978-30-81685-8_42“，”volume-title“：“计算机辅助验证”，”author“：”C Baier“，”年份“：”2021“，”非结构化“：”Baier，C.，Coenen，N.，Finkbeiner，B.，Funke，F.，Jantsch，S.，Siber，J.：基于因果关系的游戏解决。收录人：Silva，A.，Leino，K.R.M.（编辑）CAV 2021。LNCS，第12759卷，第894\u2013917页。查姆施普林格（2021）。https:\/\/doi.org\/10.1007\/978-3-030-81685-8_42“}，{“key”：“2_CR3”，“unstructured”：“Baier，C.，et al.：从验证到基于因果关系的解释。In：Bansal，N.，Merelli，E.，Worrell，J.（eds.）第48届国际自动化、语言和编程学术讨论会（ICALP 2021）。莱布尼茨国际信息学论文集（LIPIcs），Dagstuhl，德国，第198卷，第1:1\u20131:20页。Schloss Dagstuhl-Leibniz-Zentrum f \u00fcr Informatik（2021）“}，{”key“：”2_CR4“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“205”，“doi”：“10.1007\/978-3-030-88885-5_14”，“volume-title”：“验证和分析自动化技术”，“author”：“C Baier”，“year”：“2021”，“unstructured”：“”Baier，C.、Funke，F.、Jantsch，S.、Piribauer，J.、Ziemek，R.：马尔可夫链中的概率原因。收录人：Hou，Z.，Ganesh，V.（编辑）ATVA 2021。LNCS，第12971卷，第205\u2013221页。查姆施普林格（2021）。https:\/\/doi.org\/10.1007\/978-3-030-88885-5_14“}，{”key“：”2_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“40”，”doi“：”10.1007\/978-030-99253-8_3“，“volume-title”：“软件科学和计算结构基础”，“author”：“C Baier”，“year”：“2022”，“unstructured”：“”Baier，C.，Funke，F.，Piribauer，J.，Ziemek，R.：关于马尔可夫决策过程中的概率提升因果关系。收录：Bouyer，P.，Schr \u00f6der，L.（编辑）FoSSaCS 2022。LNCS，第13242卷，第40\u201360页。查姆施普林格（2022）。https:\/\/doi.org\/10.1007\/978-3-030-99253-8_3“}，{“key”：“2_CR6”，“volume-title”：“模型检查原理”，“author”：“C Baier”，“year”：“2008”，“unstructured”：“Baier，C.，Katoen，J.-P.：模型检查原理。麻省理工学院出版社，剑桥（2008）”}，}，“key“：”2_CR7“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“第一页“：”515“，”DOI“：”10.1007\/978-3-642-54862-8_43“，”volume-title“：”系统构建和分析的工具和算法“，”author“：”C Baier“，”year“：”2014“，”unstructured“：”Baier，C.，Klein，J.，Kl\u00fcppelholz，S.，M\u00e4rcker，S.：有效计算马尔科夫模型中的条件概率。收录于：\u00c1brah\u00e1m，E.，Havelund，K.（编辑）TACAS 2014。LNCS，第8413卷，第515\u2013530页。斯普林格，海德堡（2014）。https:\/\/doi.org\/10.1007\/978-3642-54862-8_43“}，{“问题”：“1”，“密钥”：“2_CR8”，“doi-serted-by”：“出版商”，“首页”：“97”，“doi”：“10.1145\/640128.604140”，“卷”：“38”，“作者”：“T Ball”，“年份”：“2003”，“非结构化”：“Ball，T.，Naik，M.，Rajamani，S.K.：从症状到原因：反例跟踪中的本地化错误。SIGP LAN非.38（1），97\u2013105（2003）“，”journal-title“：”SIGPLAN否。“}，{”key“：”2_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”Batusov，V.，Soutchanski，M.：实际因果关系的情境演算语义。摘自：《AAAI人工智能会议论文集》，第32卷，第1期，2018年4月“，”doi“：”10.1609 \/aaaai.v32i1.11561“}”，{“key”：“2_CR10”，“series-title”：“计算机科学讲稿”，“doi-asserted-by“：”publisher“，”first page“：”203“，“doi”：“10.1007\/978-3-319-23404-5_14”，“volume-title”：“模型检查软件”，“author”：“A Beer”，“year”：“2015”，“unstructured”：“Beer，A.，Heidinger，S.，K\u00fchne，U.，Leitner-Fischer，F.，Leue，S.：使用有界模型检查的符号因果关系检查。In：Fischer，B.，Geldenhuys，J.（编辑）SPIN 2015。LNCS，第9232卷，第203\u2013221页。查姆施普林格（2015）。https:\/\/doi.org\/10.1007\/978-3-319-23404-5_14“}，{“问题”：“1”，“密钥”：“2_CR11”，“doi-asserted-by”：“出版商”，“首页”：“20”，“doi”：“10.1007\/s10703-0132-2”，“卷”：“40”，“作者”：“I Beer”，“年份”：“2012”，“非结构化”：“Beer，I.、Ben-David，S.、Chockler，H.、Orni，A.、Trefler，R.J.：用因果关系解释反例。形式方法系统。设计。40（1），20\u201340（2012）”，“期刊标题”：“正式方法系统。设计。“}，{”key“：”2_CR12“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-page“：”279“，”doi“：”10.1007\/3-540-63166-6_28“，”volume-title“：“计算机辅助验证”，”author“：”I Beer“，”year“：”1997“，”unstructured“：”Beer，I.、Ben-David，S.、Eisner，C.、Rodeh，Y.：有效检测ACTL配方奶粉中的真空度。收录：Grumberg，O.（编辑）CAV 1997。LNCS，第1254卷，第279\u2013290页。施普林格，海德堡（1997）。https:\/\/doi.org\/10.1007\/3-540-63166-6_28“}，{”key“：”2_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”Caltais，G.，Guetlein，S.L.，Leue，S.：一般LTL可定义属性的因果关系。摘自：科学技术中因果关系、责任和解释的形式推理第三次研讨会论文集（CREST），pp.1\u201315（2018）“，“DOI”：“10.4204\/EPTCS.286.1”}，{“问题”：“1”，“关键”：“2_CR14”，“首页”：“93”，“卷”：“22”，“作者”：“H Chockler”，“年份”：“2004”，“非结构化”：“Chockller，H.，Halpern，J.Y.：责任和责备：结构模型方法。J.Artif.国际研究22（1），93\u2013115（2004）”，“期刊标题”：“J.Artif.Int.Res.“}，{”问题“：“3”，“key“：”2_CR15“，”doi-asserted-by“：”publisher“，”first-page“：”1“，”doi“：”10.1145\/1352582.1352588“，”volume“：“9”，”author“：”H Chockler“，”year“：”2008“，”unstructured“：”Chockle，H.，Halpern，J.Y.，Kupferman，O.：是什么导致系统满足规范？ACM事务处理。计算。逻辑9（3），1\u201326（2008）”，“期刊标题”：“ACM Trans。计算。Logic“}，{”key“：”2_CR16“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“66”，“doi”：“10.1007\/3-540-44585-4_7”，“volume-title”：“计算机辅助验证”，“author”：“H Chockler”，“year”：“2001”，“unstructured”：“Chockler，H.、Kupferman，O.、Kurshan，R.P.、Vardi，M.Y.：模型检查中覆盖率的实用方法。收录：Berry，G.，Comon，H.，Finkel，A.（编辑）CAV 2001。LNCS，第2102卷，第66\u201378页。斯普林格，海德堡（2001）。https:\/\/doi.org\/10.1007\/3-540-44585-4_7“}，{“问题”：“4\u20135”，“密钥”：“2_CR17”，“doi-asserted-by”：“发布者”，“首页”：“373”，“doi”：“10.1007\/s10009-004-0175-4”，“卷”：“8”，“作者”：“H Chocler”，“年份”：“2006”，“非结构化”：“Chocler，H.，Kupferman，O.，Vardi，M.：正式验证的覆盖度量。国际期刊。柔和。技术工具。Transf公司。（STTT）8（4\u20135），373\u2013386（2006）“，“期刊标题”：《国际期刊》。技术工具。Transf公司。（STTT）“}，{”key“：”2_CR18“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“528”，“doi”：“10.1007\/3-540-45319-9_36”，“volume-title”：“系统构建和分析的工具和算法”，“author”：“H Chockler”，“year”：“2001”，“unstructured”：“Chockler，H.、Kupferman，O.、Vardi，M.Y.：时序逻辑模型检查的覆盖度量。收录：Margaria，T.，Yi，W.（编辑）TACAS 2001。LNCS，第2031卷，第528\u2013542页。斯普林格，海德堡（2001）。https:\/\/doi.org\/10.1007\/3-540-45319-9_36“}，{“key”：“2_CR19”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“196”，”doi“：”10.1007\/978-3-540-69850-0_12“，”volume-title“：”25年模型检查“，”author“：”EM Clarke“，”年份“：”2008“，”非结构化“：”Clarke，E.M.，Emerson，E.A.：使用分支时间时序逻辑设计和合成同步骨架。收录：Grumberg，O.，Veith，H.（编辑）25年模型检查。LNCS，第5000卷，第196\u2013215页。施普林格，海德堡（2008）。https:\/\/doi.org\/10.1007\/978-3-540-69850-0_12“}，{”key“：”2_CR20“，”doi-asserted-by“：”publisher“，”first-page“：”244“，”doi“：”10.1145\/5397.5399“，”volume“：“8”，”author“：”EM Clarke“，”year“：”1986“，”unstructured“：”Clarke，E.M.，Emerson，E.A.，Sistla，A.P.：使用时序逻辑规范对有限状态并发系统进行自动验证。ACM事务处理。程序。语言系统。8，244\u2013263（1986）“，“日记标题”：“ACM Trans。程序。语言系统。“}，{”key“：”2_CR21“，”doi-asserted-by“：”crossref“，”unstructured“：”Clarke，E.M.，Grumberg，O.，McMillan，K.L.，Zhao，X.：符号模型检查中反例和见证的高效生成。摘自：《第32届ACM/IEEE设计自动化会议（DAC）论文集》，美国纽约州纽约市，第427\u2013432页。ACM（1995）“，”DOI“：”10.1145\/217474.217565“}，{”issue“：”4“，”key“：”2_CR22“，”DOI-asserted-by“：”publisher“，”first page“：“857”，”DOI:“10.1145\/210332.210339”，“volume”：“42”，“author”：“C Courcoubetis”，“year”：“1995”，“unstructured”：“Courcoubetis，C.，Yannakakakakikis，M.：概率验证的复杂性。J.ACM 42（4），857 \u2013907（1995）“，”journal-title“：”J.ACM“}，{“key”：“2_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Datta，A.，Garg，D.，Kaynar，D.，Sharma，D.，Sinha，A.：作为实际原因的程序操作：问责的基石。摘自：第28届IEEE计算机安全基础研讨会（CSF）论文集，第261\u2013275页（2015）”，“doi”：“10.1109\/CSF.2015.25”}key“：”2_CR24“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“165”，”doi“：”10.1007\/BFb0023457“，”volume-title“：“STACS 97”，”author“：”L Alfaro“，”year“：”1997“，”unstructured“：”Alfaro，L.：性能和可靠性规范的时序逻辑。在：Reischuk，R.，Morvan，M.（编辑）STACS 1997。LNCS，第1200卷，第165\u2013176页。施普林格，海德堡（1997）。https:\/\/doi.org\/10.1007\/BFb0023457“}，{“key”：“2_CR25”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“首页”：“484”，“doi”：“10.1007\/978-3-030-59152-6_27”，“volume-title”：”验证和分析自动化技术“，”author“：”R Dimitrova“，”年份“2020”，“非结构化”：“Dimitrova，R.，Finkbeiner，B.，Torfah，H.：马尔可夫决策过程的概率超属性。收录人：Hung，D.V.，Sokolsky，O.（编辑）ATVA 2020。LNCS，第12302卷，第484\u2013500页。查姆施普林格（2020）。https:\/\/doi.org\/10.1007\/978-3-030-59152-6_27“}，{”key“：”2_CR26“，”doi-asserted-by“：”crossref“，”unstructured“：”Dubslaff，C.，Weis，K.，Baier，C.，Apel，S.：可配置软件系统中的因果关系。in:第44届国际软件工程会议（ICSE）（2022）论文集“，”doi“：”10.1145\/3510003.51200“}”，{“issue”：“2”，“key”：“”2_CR27“，”doi-asserted-by“：”publisher“，”first page“：”629“，”doi“：”10.1137\/05064299X“，”volume“：“38”，”author“：”U Feige“，”year“：”2008“，”unstructured“：”Feige，U.，Hajiaghai，M.，Lee，J.R.：最小权重顶点分隔符的改进近似算法。SIAM J.计算。38（2），629\u2013657（2008）“，“新闻标题”：“SIAM J.Compute。}，{“key”：“2_CR28”，“doi-asserted-by”：“crossref”，“unstructured”：“Feige，U.，Mahdian，M.：寻找小型平衡分离器。摘自：Kleinberg，J.M.（ed.）《第38届美国计算机学会计算理论年会论文集》，美国华盛顿州西雅图，2013年5月21日至23日，第375\u2013384页。ACM（2006）“，”DOI“：”10.1145\/1132516.1132573“}，{”issue“：”1\u20132“，”key“：”2_CR29“，”DOI-asserted-by“：”publisher“，”first page“：“9”，“DOI”：“10.1016\/S0004-3702（97）00047-7”，“volume”：“97”，“author”：“D Galles”，“year”：“1997”，“unstructured”：“Galles，D.，Pearl，J.：因果关联公理。Artif.Intell.97（1\u20132），9\u201343（1997）“，“新闻标题”：”Artif公司。智力。“}，{”key“：”2_CR30“，”doi-asserted-by“：”publisher“，”first page“：“151”，”doi“：”10.1023\/A:“1009602825894”，“volume”：“3”，“author”：“D Galles”，“year”：“1998”，“unstructured”：“Galles，D.，Pearl，J.：因果反事实的公理化表征。Found.Sci.3，151\u2013182（1998）”，“journal-title”：“Found.Sic.”}，“键”：“2_CR31”，“doi-asserted-by“：”publisher“，”first page“：”375“，”doi“：”10.1080\/0004840082587325“，“volume”：“87”，“author”：“G Gomes”，“year”：“2009”，“unstructured”：“Gomes，G.：是必要的和充分的条件反转关系吗？澳大利亚。J.菲洛斯。87（3），375\u2013387（2009）“，“新闻标题”：“澳大利亚。J.菲洛斯。“}，{”key“：”2_CR32“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“157”，”doi“：”10.1007\/978-3319-07602-7_11“，”volume-title“：“组件软件的形式方面”，”author“：”G \u00f6ssler“，”year“：”2014“，”unstructured“：”G\u00f6ssler，G.，Le M\u00e9tayer，D.：逻辑因果关系的一般追踪框架。收录人：Fiadeiro，J.L.，Liu，Z.，Xue，J.（编辑）FACS 2013。LNCS，第8348卷，第157\u2013173页。查姆施普林格（2014）。https:\/\/doi.org\/10.1007\/978-3-319-07602-7_11“}，{”key“：”2_CR33“，”doi-asserted-by“：”publisher“，”first page“：“223”，”doi“：”10.1016\/j.scico.2015.06.10“，“volume”：“113”，“author”：“G \u00f6ssler”，“year”：“2015”，“unstructured”：“G\u00f6ssler，G.，Le M\u00e9tayer，D.：基于组件的系统中责备的一般框架。科学。计算。程序。113，223\u2013235（2015）“，“新闻标题”：“科学。计算。程序。“}，{”key“：”2_CR34“，”doi-asserted-by“：”publisher“，”first page“：“158”，“doi”：“10.1016\/j.tcs.2020.06.010”，“volume”：“837”，“author”：“G G \u00f6ssler”，“year”：“2020”，“unstructured”：“G\u00f 6ssler，G.，Stefani，j.-B.：基于组件系统中的因果分析和故障归属。理论计算科学.837，158\u2013180（2020）“，”日志标题“：”理论。计算。科学。“}，{”key“：”2_CR35“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-page“：”108“，”doi“：”10.1007\/978-3-540-24730-2_8“，”volume-title“：“系统构建和分析的工具和算法”，“author”：“A Groce”，“year”：“2004”，“unstructured”：“”Groce，A.：距离度量的错误解释。收录：Jensen，K.，Podelski，A.（编辑）TACAS 2004。LNCS，第2988卷，第108页\u2013122。斯普林格，海德堡（2004）。https:\/\/doi.org\/10.1007\/978-3-540-24730-2_8“}，{“问题”：“3”，“密钥”：“2_CR36”，“doi-asserted-by”：“出版商”，“首页”：“229”，“doi”：“10.1007\/s10009-005-0202-0”，“卷”：“8”，“作者”：“A Groce”，“年份”：“2006”，“非结构化”：“Groce，A.，Chaki，S.，Kroening，D.，Strichman，O.：距离度量的错误解释国际期刊。柔和。技术工具。转账8（3），229\u2013247（2006）“，“日记标题”：“Int.J.Softw。技术工具。Transfer“｝，｛”key“：”2_CR37“，”series title“：”计算机科学讲义“，”doi断言“：”publisher“，”首页“：”121“，”doi“：”10.1007\/3-540-444829-2_8“，”volume title“：”Model Checking Software“，”author“：”A Groce“，”year“：”2003“，”非结构化“：”Groce，A.，Visser，W.：出了什么问题：解释反例。收录：Ball，T.，Rajamani，S.K.（编辑）SPIN 2003。LNCS，第2648卷，第121\u2013136页。斯普林格，海德堡（2003）。https:\/\/doi.org\/10.1007\/3-540-44829-2_8“}，{“问题”：“1”，“密钥”：“2_CR38”，“doi-asserted-by”：“出版商”，“首页”：“317”，“doi”：“10.1613\/jair.648”，“卷”：“12”，“作者”：“JY Halpern”，“年份”：“2000”，“非结构化”：“Halperon，J.Y.：公理化因果推理。J.Artif.Intell.Res.12（1），317 \u2013337（2000）“，”杂志标题“：”J。工件。智力。Res.“}，{”key“：”2_CR39“，”unstructured“：”Halpern，J.Y.：对Halpern-Pearl因果关系定义的修正。摘自：《第24届国际人工智能联合会议论文集》，第3022_u20133033页。AAAI Press（2015）“}，{”issue“：”4“，”key“：”2_CR40“，”doi-asserted-by“：”publisher“，”first page“：“843”，”doi“：”10.1093\/bjps\/axi147“，“volume”：“56”，“author”：“JY Halpern”，“year”：“2005”，“unstructured”：“Halperon，J.，Pearl，J.：原因和解释：结构模型方法。第一部分：原因。Br.J.Philos.Sci.56（4），843 \u2013887（2005）“，”《新闻标题》：“Br.J.Philos。科学。“}，{”issue“：”4“，”key“：”2_CR41“，”doi-asserted-by“：”publisher“，”first-page“：”889“，”doi“：”10.1093\/bjps\/axi148“，“volume”：”56“，”author“：”JY Halpern“，”year“：”2005“，”unstructured“：”Halperon，J.Pearl，J.：原因和解释：结构模型方法。第二部分：解释。Br.J.Philos.Sci.56（4），889\u2013911（2005））”，“新闻标题”：“Br.J。菲洛斯。科学。“}，{”key“：”2_CR42“，”volume-title“：”Causation in the Law“，”author“：”HLA Hart“，”year“：”1959“，”unstructured“：”Hart，H.L.A.，Honor\u00e9，A.M.：”Cause in the Law.牛津大学出版社，牛津（1959）“}“卷”：“5”，“作者”：“S Hart”，“年份”：“1983年”，“非结构化”：“Hart，S.，Sharir，M.，Pnueli，A.：概率并发程序的终止。ACM事务处理。程序。语言系统。5（3），356\u2013380（1983）”，“期刊标题”：“ACM Trans。程序。语言系统。“}，{”issue“：”5“，”key“：”2_CR44“，”doi-asserted-by“：”publisher“，”first-page“：”939“，”doi“：”10.1093\/logcom\/exm048“，”volume“：“17”，“author”：“M Hopkins”，“year”：“2007”，“unstructured”：“霍普金斯，M.，Pearl，J.：情境演算中的因果关系和反事实。J.Log.Comput.17（5），939\u2013953（2007）”，“journal-title”：“J.Log.Comput.“}，{”键“：”2_CR45“，”doi-asserted-by“：”crossref“，”unstructured“：”Hoskote，Y.，Kam，T.，Ho，P.-H.，Zhao，X.：符号模型检查的覆盖估计。收录于：第36届ACM/IEEE设计自动化年会（DAC）论文集，第300\u2013305页（1999）“，”DOI“：”10.1145\/309847.309936“}，{“key”：“2_CR46”，“DOI-asserted-by”：“crossref”，“unstructured”：“休谟，D.：《人性论》，John Noon（1739）“，“，”非结构化”：“休谟，D.：关于人类理解的调查。伦敦（1748）“，”DOI“：”10.1093\/oseo\/instance.00032980“}，{“key”：“2_CR48”，“unstructured”：“Khan，S.M.，Soutchanski，M.：实际根本原因的必要和充分条件。摘自：第24届欧洲人工智能会议（ECAI 2020），包括第十届人工智能卓越应用会议（PAIS 2020），pp.800\u2013808（2020）“}，{“key”：“2_CR49”，“unstructured”：“Kleinberg，S.：离散变量和连续变量时间序列中因果推理的逻辑。摘自：第22届国际人工智能联合会议（IJCAI）论文集，pp.943\u2013950（2011）”}Kleinberg，S.，Mishra，B.：因果结构的时间逻辑。《第25届人工智能不确定性会议论文集》（UAI），第303\u2013312页（2009）“}，{“key”：“2_CR51”，“unstructured”：“Kleinberg，S.，Mishra，B.：表征原因的时间逻辑。In：第12届国际知识表示与推理原理会议论文集（KR）（2010）”}，}，“key“：”2_CR52“，“series-title”：“计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：”171“，“doi”：“10.1007\/978-3-030-31784-3_10”，“volume-title”：“自动验证和分析技术”，“author”：“M K\u00f6lbl”，“year”：“2019”，“unstructured”：“K\u006lbl，M.，Leue，S.：因果检验中计算因果迹集的有效算法。收录人：Chen，Y.-F.，Cheng，C.-H.，Esparza，J.（编辑）ATVA 2019。LNCS，第11781卷，第171\u2013186页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-31784-3_10“}，{”key“：”2_CR53“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“127”，”doi“：”10.1007\/978-030-57628-8_8“，”volume-title“：“时间系统的形式化建模与分析”，”author“：”M K\u00f6lbl“，”年份“：”2020“，”非结构化“：”K\u00f6lbl，M.，Leue，S.，Schmid，R.：违反时间可达性属性的动态原因。收录：Bertrand，N.，Jansen，N.（编辑）《2020年格式》。LNCS，第12288卷，第127\u2013143页。查姆施普林格（2020）。https:\/\/doi.org\/10.1007\/978-3-030-57628-8_8“}，{“key”：“2_CR54”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“82”，“doi”：“10.1007\/3-540-48153-2_8”，“volume-title”：《正确的硬件设计和验证方法》，“author”：“O Kupferman”，“年份”：“1999”，“非结构化”：“Kupferman，O.，Vardi，M.Y.：时间模型检查中的真空检测。摘自：Pierre，L.，Kropf，T.（编辑）CHARME 1999。LNCS，第1703卷，第82\u201398页。斯普林格，海德堡（1999）。https:\/\/doi.org\/10.1007\/3-540-48153-2_8“}，{“key”：“2_CR55”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“257”，“doi”：“10.1007\/978-3642-40184-8_19”，“volume-title”：《CONCUR 2013\u2013并发理论》，“author”：“A Kupriyanov”，“年份”：“2013”，“非结构化”：“Kupriyanov，A.，Finkbeiner，B.：基于因果关系的多线程程序验证。在：D\u2019Argenio，P.R，Melgratti，H.（编辑）CONCUR 2013。LNCS，第8052卷，第257\u2013272页。斯普林格，海德堡（2013）。https:\/\/doi.org\/10.1007\/978-3642-40184-8_19“}，{”key“：”2_CR56“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“814”，”doi“：”10.1007\/9783-319-08867-9_54“，”volume-title“：“计算机辅助验证”，”author“：”A Kupriyanov“，”年份“：”2014“，”非结构化“：”Kupriyanov，A.，Finkbeiner，B.：多线程程序的因果终止。摘自：Biere，A.，Bloem，R.（编辑）CAV 2014。LNCS，第8559卷，第814\u2013830页。查姆施普林格（2014）。https:\/\/doi.org\/10.1007\/978-3-319-08867-9_54“}，{“key”：“2_CR57”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：《248》，“doi”：“10.1007\/9783-642-35873-9_16”，“volume-title”：《验证、模型检查和抽象解释》，“author”：“F Leitner-Fischer”，“年份”：“2013”，“非结构化”：“Leitner-Fischer，F.，Leue，S.：复杂系统模型的因果关系检查。收录人：Giacobazzi，R.，Berdine，J.，Mastroeni，I.（编辑）VMCAI 2013。LNCS，第7737卷，第248\u2013267页。斯普林格，海德堡（2013）。https:\/\/doi.org\/10.1007\/978-3642-35873-9_16“}，{“问题”：“17”，“密钥”：“2_CR58”，“doi-asserted-by”：“出版商”，“首页”：“556”，“doi”：“10.2307\/2025310”，“卷”：“70”，“作者”：“D Lewis”，“年份”：“1973”，“非结构化”：“Lewis，D.：因果关系。J.Philos.70（17），556\u2013567（1973）”，“journal-title“：”J.Philos“}，{“问题”：“4”，“密钥”：“2_CR59”，“第一页“：”245“，“卷”：“2”，“作者”：“JL Mackie”，“年份”：“1965年”，“非结构化”：“Mackie，J.L.：原因和条件。美国菲洛斯。问题2（4），245\u2013264（1965）”，“期刊标题”：“美国费城人。问：“}，{“key”：“2_CR60”，“volume-title”：“宇宙的水泥：因果关系研究”，“author”：“JL Mackie”，“year”：“1974”，“unstructured”：“Mackie，J.L.：宇宙的水泥，因果关系研究。克拉伦登出版社，牛津（1974）”}，}Mascle，C.，Baier，C.，Funke，F.，Jantsch，S.，Kiefer，S.：责任与验证：时间逻辑中的重要性价值。收录于：2021年第36届ACM\/IEEE年度计算机科学逻辑研讨会（LICS），第1页\u201314（2021）“，“DOI”：“10.1109\/LICS52264.2021.9470597”}，{“key”：“2_CR62”，“volume-title”：“组合优化：算法和复杂性”，“author”：“CH Papadimitriou”，“year”：“1982”，“unstructured”：“Papadimitriou，C.H.，Steiglitz，K.：组合优化：算法和复杂性。Prentice-Hall，Hoboken（1982）“}，{“问题”：“4”，“关键”：“2_CR63”，“doi-asserted-by”：“出版商”，“首页”：“669”，“doi”：“10.1093\/biomet\/82.4.669”，“卷”：“82”，“作者”：“J Pearl”，“年份”：“1995”，“非结构化”：“Pearl，J.：实证研究的因果图。生物统计学82（4），669\u2013688（1995）”，“期刊标题”：“生物统计学”“}，{”键“：”2_CR64“，”doi-asserted-by“：”crossref“，”unstructured“：”Pnueli，A.：程序的时态逻辑。摘自：第18届计算机科学基础年度研讨会（FOCS）论文集，第46\u201357页（1977年）“，”DOI“：”10.1109\/SFCS.1977.32“}，{“key”：“2_CR65”，“series-title”：“计算机科学讲义”，“DOI-asserted-by”：“publisher”，“first-page”：“485”，“DOI”：“10.1007\/3-540-45657-0_39”，“volume-title”：”计算机辅助验证“，“author”：“M Purandare”，“年份”：“2002年”，“非结构化”：“Purandae，M.，Somenzi，F.：真空清洁CTL配方。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，第2404卷，第485\u2013499页。斯普林格，海德堡（2002）。https:\/\/doi.org\/10.1007\/3-540-45657-0_39“}，{“key”：“2_CR66”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“首页”：“337”，“doi”：“10.1007\/3-540.11494-7_22”，“volume-title”：《国际编程研讨会》，“author”：“JP Quelle”，“年份”：“1982”，“非结构化”：“Queille，J.P.，Sifakis，J.：CESAR中并发系统的规范和验证。摘自：Dezani-Ciancaglini，M.，Montanari，U.（编辑）Programming 1982。LNCS，第137卷，第337\u2013351页。斯普林格，海德堡（1982）。https:\/\/doi.org\/10.1007\/3-540-11494-7_22“}，{“key”：“2_CR67”，“doi-asserted-by”：“publisher”，“doi”：“10.1063\/1.3059791”，“volume-title”：“时间的方向”，“author”：“H Reichenbach”，年份：“1956”，“unstructured”：“Reichelbach，H.：时间的方向。加州大学出版社，伯克利和洛杉矶（1956）”}，}，“key“：”2_CR68“，”doi-asserted-by“：”publisher“，”doi“：”10.7551\/mitpress\/4074.001.0001“，”volume-title“：”行动中的知识：指定和实现动态系统的逻辑基础“，”author“：”R Reiter“，”year“：”2001“，”unstructured“：”Reiter，R。麻省理工学院出版社，剑桥（2001）“}，{“key”：“2_CR69”，“unstructured”：“Renieres，M.，Reiss，S.P.：使用最近邻查询进行故障定位。摘自：第18届IEEE自动化软件工程国际会议（ASE）论文集，第30\u201339（2003）页”}，“key“：”2_CR70“，”doi-asserted-by“：”crossref“，”unstructure“：”Vardi，M.Y.：概率并发有限状态程序的自动验证。摘自：第26届计算机科学基础年度研讨会论文集，SFCS 1985，pp.327\u2013338。IEEE Computer Society（1985）“，”DOI“：”10.1109\/SFCS.1985.12“}，{“issue”：“12”，“key”：“2_CR71”，“DOI-asserted-by”：“publisher”，“first-page”：“355”，“DOI”：“10.2307\/2023797”，“volume”：”65“，“author”：“R Wertheimer”，“year”：“1968”，“unstructured”：“Werthemier，R.：Conditions.J.Philos.65（12），355\u2013364（1968）”，“journal al-title“：”J.Philos“}，{“问题”：“6”，“关键”：“2_CR72“，”doi-asserted-by“：”publisher“，”first page“：”1735“，”doi“：”10.2307\/3480373“，”volume“：“73”，”author“：”RW Wright“，”year“：”1985“，”unstructured“：”Wright，R.W.：侵权法中的因果关系。加州法律评论73（6），1735\u20131828（1985）“，“journal-title”：“加州法律评论”}，{“key”：“2_CR73”，“doi-asserted-by”：“crossref”，“unstructured”：“Zeller，A.：从计算机程序中分离因果链。摘自：第十届ACM SIGSOFT软件工程基础研讨会论文集，美国纽约州纽约市，pp.1\u201310。ACM（2002）“，”DOI“：”10.1145\/605466.605468“}]，”container-title“：[”计算机科学课堂讲稿“，”从过程代数经由时间自动机到模型学习的旅程“]，”original-title”：[]，”link“：[{”URL“：”https:\/\/link.springer.com\/content\/pdf\/10.10007\/978-3-031-15629-8_2“，”content-type“：”unspecified“，”content-version“：”vor“，”预期应用程序”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2023,2,20]]，“日期-时间”：“2023-02-20T11:41:00Z”，“时间戳”：1676893260000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https://link.springer.com\/10.1007\/978-3-031-15629-8_2”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2022]]｝，“国际标准图书号”：[”9783031151151151151152 6281“，”9783031156298“]，”引用计数“：73，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-031-15629-8_2“，”关系“：{}，”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”｝｝]｝｝