{"id":"https://openalex.org/W1873868385","doi":"https://doi.org/10.1007/978-3-540-73196-2_13","title":"Improvements for the Symbolic Verification of Timed Automata","display_name":"Improvements for the Symbolic Verification of Timed Automata","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W1873868385","doi":"https://doi.org/10.1007/978-3-540-73196-2_13","mag":"1873868385"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-73196-2_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73196-2_13","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100329480","display_name":"Rongjie Yan","orcid":"https://orcid.org/0000-0001-5225-6268"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},{"id":"https://openalex.org/I114218197","display_name":"Chinese Academy of Social Sciences","ror":"https://ror.org/05bxbmy32","country_code":"CN","type":"facility","lineage":["https://openalex.org/I114218197"]},{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":null,"type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Rongjie Yan","raw_affiliation_strings":["Graduate School of the Chinese Academy of Sciences,Beijing,100039, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China and Graduate School of the Chinese Academy of Sciences,Beijing,100039, China#TAB#"],"affiliations":[{"raw_affiliation_string":"Graduate School of the Chinese Academy of Sciences,Beijing,100039, China","institution_ids":["https://openalex.org/I114218197","https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China and Graduate School of the Chinese Academy of Sciences,Beijing,100039, China#TAB#","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4391767820"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030124819","display_name":"Guangyuan Li","orcid":"https://orcid.org/0000-0002-5969-9157"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guangyuan Li","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China","State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,Beijing 100080,China)"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,Beijing 100080,China)","institution_ids":["https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100689218","display_name":"Wenliang Zhang","orcid":"https://orcid.org/0000-0003-1083-3826"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":null,"type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},{"id":"https://openalex.org/I114218197","display_name":"Chinese Academy of Social Sciences","ror":"https://ror.org/05bxbmy32","country_code":"CN","type":"facility","lineage":["https://openalex.org/I114218197"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenliang Zhang","raw_affiliation_strings":["Graduate School of the Chinese Academy of Sciences,Beijing,100039, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China and Graduate School of the Chinese Academy of Sciences,Beijing,100039, China#TAB#"],"affiliations":[{"raw_affiliation_string":"Graduate School of the Chinese Academy of Sciences,Beijing,100039, China","institution_ids":["https://openalex.org/I114218197","https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China and Graduate School of the Chinese Academy of Sciences,Beijing,100039, China#TAB#","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4391767820"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026621323","display_name":"Yunquan Peng","orcid":null},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I114218197","display_name":"Chinese Academy of Social Sciences","ror":"https://ror.org/05bxbmy32","country_code":"CN","type":"facility","lineage":["https://openalex.org/I114218197"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":null,"type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yunquan Peng","raw_affiliation_strings":["Graduate School of the Chinese Academy of Sciences,Beijing,100039, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China and Graduate School of the Chinese Academy of Sciences,Beijing,100039, China#TAB#"],"affiliations":[{"raw_affiliation_string":"Graduate School of the Chinese Academy of Sciences,Beijing,100039, China","institution_ids":["https://openalex.org/I114218197","https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China and Graduate School of the Chinese Academy of Sciences,Beijing,100039, China#TAB#","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4391767820"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100329480"],"corresponding_institution_ids":["https://openalex.org/I114218197","https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4210165038","https://openalex.org/I4391767820"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.15006051,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"196","last_page":"210"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.7691161036491394},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7682250142097473},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6517110466957092},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6235440969467163},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5754545331001282},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.5585042834281921},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.5429184436798096},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5210713148117065},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48870447278022766},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.4807298481464386},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.47315821051597595},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.45513877272605896},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.450973242521286},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4389364421367645},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.43453770875930786},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.43200185894966125},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.318803608417511},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.220746248960495},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1819019913673401}],"concepts":[{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.7691161036491394},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7682250142097473},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6517110466957092},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6235440969467163},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5754545331001282},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.5585042834281921},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.5429184436798096},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5210713148117065},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48870447278022766},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.4807298481464386},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.47315821051597595},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.45513877272605896},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.450973242521286},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4389364421367645},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.43453770875930786},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.43200185894966125},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.318803608417511},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.220746248960495},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1819019913673401},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-540-73196-2_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73196-2_13","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.471.7826","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.471.7826","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://lcs.ios.ac.cn/~yrj/article/FORTE_Improved.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7900000214576721,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1482244861","https://openalex.org/W1486272257","https://openalex.org/W1508821727","https://openalex.org/W1531250917","https://openalex.org/W1535937574","https://openalex.org/W1548080088","https://openalex.org/W1556566737","https://openalex.org/W1558869278","https://openalex.org/W1559321056","https://openalex.org/W1751719170","https://openalex.org/W1829884141","https://openalex.org/W1874996599","https://openalex.org/W2000947342","https://openalex.org/W2101508170","https://openalex.org/W2132638915","https://openalex.org/W2142718416","https://openalex.org/W2163014247","https://openalex.org/W2166071597","https://openalex.org/W2341171179","https://openalex.org/W2483349712","https://openalex.org/W2497180905","https://openalex.org/W2500657905","https://openalex.org/W2501695616","https://openalex.org/W2743309925"],"related_works":["https://openalex.org/W2370616279","https://openalex.org/W4295791056","https://openalex.org/W4238706614","https://openalex.org/W4253252819","https://openalex.org/W2167659005","https://openalex.org/W4299734787","https://openalex.org/W2114398233","https://openalex.org/W2122355433","https://openalex.org/W2134741216","https://openalex.org/W1583869287"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}