{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,5,13]]，“日期时间”：“2023-05-13T10:40:06Z”，“时间戳”：1683974406807}，“出版商位置”：“柏林，海德堡”，“参考计数”：16，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540418658”，“类型”：“打印”}，{“值”：“9783540453192”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[2001]]}，”DOI“：”10.1007\/3-540-45319-9_22“，”type“：”book-capter“，”created“：”{“date-part”：[2007,7,16]]，“date-time”：“2007-07-16T15:50:4 7Z“，”时间戳“：1184601047000}，”页面“：”313-327“，”源“：“Crossref”，“is-referenced-by-count”：7，“title”：[“通过结合显式状态和符号模型检查来搜索Powerset Automata”]，“prefix”：“10.1007”，”author“：[{“given”：“Alessandro”，“family”：“Cimatti”，“sequence”：“first”，“affiliation”：[]}，{“给定的”：“Marco”，“家族”：“Roveri”，“序列”：“additional”，“从属关系”：[]}，“”：“Bertoli”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“published online”：｛“date parts”：[[2001,3,23]]｝，“reference”：[｛“key”：“22_CR1”，“nonstructured”：“B.Bonet and H.Geffner。将不完整信息作为信仰空间中的启发式搜索进行规划。在S.Chien、S.Kambhampati和C.A。Knoblock，编辑，第五届人工智能规划与调度国际会议，第52页\u201361。AAAI-Press，2000年4月。“}，{”key“：”22_CR2“，”unstructured“：”T.L.Booth.Sequential Machines and Automata Theory.J.Wiley，1967。“}.”，{“issue”：“8”，“key”：“22_CR3”，“doi-asserted-by”：“publisher”，“first-page”：“677”，“doi”：“10.1109\/TC.1986.1676819”，“volume”：”C-35“author”：“R.E.Bryant”，“year”：“1986”，“unstructure”：“R E。布莱恩特。布尔函数操作的基于图的算法。IEEE计算机汇刊，C-35（8）：677\u20136911986年8月。”，“期刊标题”：“IEEE计算机汇刊”}，｛“key”：“22_CR4”，“doi asserted by”：“crossref”，“nonstructured”：“G.Cabodi，P.Camurati，and S。查询。通过活动配置文件改进符号遍历。《第31届设计自动化会议记录》，第306\u2013311页，美国纽约州纽约市，1999年6月21日。ACM Pres.“，”DOI“：”10.1145\/309847.309938“}，{“key”：“22_CR5”，“DOI-asserted-by”：“crossref”，“unstructured”：“A.Cimatti，E.M.Clarke，F.Giunchiglia，and M.Roveri.NuSMV：一种新的符号模型检查器。国际技术转让软件工具杂志（STTT），2（4），2000年3月。”，“DOI”：“10.1007\/s100090050046”}，“key“：”22_CR6“，”doi-asserted-by“：”crossref“，”first page“：”305“，“doi”：“10.1613\/jair.774”，“volume”：“13”，“author”：“A.Cimatti”，“year”：“2000”，“unstructured”：“A.Cimatti and M.Roveri.通过符号模型检查的一致性规划。《人工智能研究杂志》（JAIR），13:305\u20133382000。“，“Journal-title”：“Journal of Artificial Intelligence Research（JAIR，人工智能研究期刊）”}，{“key”：“22_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“F.Brglez，D.Bryan，and K。科兹明斯基。顺序基准电路的组合剖面。在电路与系统国际研讨会上，1989年5月。“，”DOI“：”10.1109\/ISCAS.1989.100747“}，”键“：”22_CR8“，”非结构化“：”G.J.Holzmann.计算机协议的设计与验证。Prentice Hall，1991。“}”，”键：“22_CR9”，”卷-时间“：“切换与有限自动机理论”，“作者”：“Z.Kohavi”，“年份”：“1978”，“非结构化”：“兹维·科哈维。切换和有限自动机理论。McGraw-Hill图书公司，纽约，1978年。ISBN 0-07-035310-7.“}，{”key“：”22_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”K.L.McMillan.符号模型检查。Kluwer学术出版社，1993年。“，”doi“：”10.1007\/978-1-4615-3190-6“}”，{“key”：“22_CR11”，“unstructure”：“D.Michie.爱丁堡机器智能。在线智能，第143\u2013155页。爱丁堡大学出版社，1974年。“}，{”key“：”22_CR12“，”doi-asserted-by“：”crossref“，”unstructured“：”C.Pixley，S.-W.Jeong和G.D.Hachtel。基于二进制决策图的同步序列的精确计算。《第29届设计自动化会议论文集》，第620\u2013623页，美国加利福尼亚州洛斯阿拉米托斯，1992年6月。IEEE计算机学会出版社。“，”DOI“：”10.1109\/DAC.1992.227811“}，{“key”：“22_CR13”，“DOI-asserted-by”：“crossref”，“unstructured”：“J.-K.Rho，F.Somenzi，and C.Pixley。有限状态机的最小长度同步序列。收录于ACM-SIGDA；IEEE，编辑，《第30届ACM-/IEEE设计自动化会议论文集》，第463\u2013468页，德克萨斯州达拉斯，1993年6月。ACM出版社。“，”DOI“：”10.1145\/157485.164978“}，{”key“：”22_CR14“，”DOI-asserted-by“：”crossref“，”first-page:“323”，“DOI”：“10.1613\/jair.591”，“volume”：“10”，“author”：“J.Rintanen”，“year”：“1999”，“unstructured”：“J·Rintane.通过理论证明构建条件计划。人工智能研究杂志，10:323\u20133521999.”，“，”Journal-title“：“《人工智能研究杂志》}，{“key”：“22_CR15”，“unstructured”：“David E.Smith和Daniel S.Weld.Conformant graphplan.第15届全国人工智能会议（AAAI-98）和第10届人工智能创新应用会议（IAAI-98，第889\u2013896页，Menlo Park，July 26\u201330 1998。AAAI出版社。}，{“key”：“22_CR16”，“unstructured”：“S.Yang。逻辑综合与优化基准测试用户指南3.0版。技术报告，北卡罗来纳州微电子中心，三角研究园，1991年1月unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,5,13]]，”date-time“：”2023-05-13T10:27:37Z“，”timestamp“：1683973657000}，”score“：1，”resource“：{primary”：{“URL”：“http://link.springer.com/10.1007\/3-540-45319-9_22”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期-部分”：[[2001]]}，“ISBN“：[”9783540418658“，”978354453192“]，”references-count“：16，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-45319-9_22“，”relationship“：{}，”ISSN“：【”0302-9743“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}]，“subject”：[]，“published”：{“date-parts”：[[2001]]}}}}