{"id":"https://openalex.org/W4205306753","doi":"https://doi.org/10.1007/978-3-030-94583-1_23","title":"Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata","display_name":"Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4205306753","doi":"https://doi.org/10.1007/978-3-030-94583-1_23"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-94583-1_23","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-94583-1_23","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/A5103268595","display_name":"Yuming Wu","orcid":"https://orcid.org/0000-0003-3062-9267"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yuming Wu","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People\u2019s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029676029","display_name":"Lei Bu","orcid":"https://orcid.org/0000-0003-0517-7801"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Bu","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People\u2019s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102016376","display_name":"Jiawan Wang","orcid":"https://orcid.org/0000-0001-8735-6517"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiawan Wang","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People\u2019s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066698999","display_name":"Xinyue Ren","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinyue Ren","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People\u2019s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008550066","display_name":"Wenjie Xiong","orcid":"https://orcid.org/0000-0002-7626-2651"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wen Xiong","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People\u2019s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090810072","display_name":"Xuandong Li","orcid":"https://orcid.org/0000-0003-3090-9568"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuandong Li","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People\u2019s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210023, Jiangsu, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5103268595"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.3276,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.78029798,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"473","last_page":"495"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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":0.9995999932289124,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9955000281333923,"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"}},{"id":"https://openalex.org/T11549","display_name":"Synthetic Organic Chemistry Methods","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1605","display_name":"Organic Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.8126606941223145},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8119490146636963},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8047816753387451},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6851646900177002},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6568583846092224},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5962182283401489},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5729659199714661},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5353921055793762},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5171636939048767},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.4810341000556946},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.46584805846214294},{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.4423118531703949},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2552229166030884},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1359904706478119},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12174490094184875}],"concepts":[{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.8126606941223145},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8119490146636963},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8047816753387451},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6851646900177002},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6568583846092224},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5962182283401489},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5729659199714661},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5353921055793762},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5171636939048767},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.4810341000556946},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46584805846214294},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.4423118531703949},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2552229166030884},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1359904706478119},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12174490094184875},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-94583-1_23","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-94583-1_23","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"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","score":0.75,"display_name":"Climate action"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W213397635","https://openalex.org/W308113020","https://openalex.org/W1480909796","https://openalex.org/W1483379332","https://openalex.org/W1546076553","https://openalex.org/W1583869287","https://openalex.org/W1592788962","https://openalex.org/W1605798759","https://openalex.org/W1815155750","https://openalex.org/W1844911504","https://openalex.org/W1874725288","https://openalex.org/W1975041710","https://openalex.org/W2004463571","https://openalex.org/W2019299680","https://openalex.org/W2040637657","https://openalex.org/W2060095702","https://openalex.org/W2072325940","https://openalex.org/W2078209861","https://openalex.org/W2085838366","https://openalex.org/W2094530979","https://openalex.org/W2104258017","https://openalex.org/W2104619509","https://openalex.org/W2119055724","https://openalex.org/W2152533774","https://openalex.org/W2160089068","https://openalex.org/W2162776653","https://openalex.org/W2165214723","https://openalex.org/W2166071597","https://openalex.org/W2176215692","https://openalex.org/W2345814603","https://openalex.org/W3089489878","https://openalex.org/W4240207855","https://openalex.org/W4245664566"],"related_works":["https://openalex.org/W1604807894","https://openalex.org/W2884574904","https://openalex.org/W4253760428","https://openalex.org/W2047831585","https://openalex.org/W3208672221","https://openalex.org/W3017277461","https://openalex.org/W2099490078","https://openalex.org/W4287199681","https://openalex.org/W3172202899","https://openalex.org/W4224983736"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}