{"id":"https://openalex.org/W4366672939","doi":"https://doi.org/10.1007/978-3-031-30823-9_13","title":"Modular Mix-and-Match Complementation of B\u00fcchi Automata","display_name":"Modular Mix-and-Match Complementation of B\u00fcchi Automata","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4366672939","doi":"https://doi.org/10.1007/978-3-031-30823-9_13"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-30823-9_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30823-9_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30823-9_13.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30823-9_13.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030524096","display_name":"Vojt\u011bch Havlena","orcid":"https://orcid.org/0000-0003-4375-7954"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Vojt\u011bch Havlena","raw_affiliation_strings":["Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063557188","display_name":"Ond\u0159ej Leng\u00e1l","orcid":"https://orcid.org/0000-0002-3038-5875"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Ond\u0159ej Leng\u00e1l","raw_affiliation_strings":["Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100711677","display_name":"Yong Li","orcid":"https://orcid.org/0000-0002-7301-9234"},"institutions":[{"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"]},{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["CN","GB"],"is_corresponding":true,"raw_author_name":"Yong Li","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Liverpool, UK","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool, UK","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054344548","display_name":"Barbora \u0160mahl\u00edkov\u00e1","orcid":"https://orcid.org/0000-0002-1184-4669"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Barbora \u0160mahl\u00edkov\u00e1","raw_affiliation_strings":["Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074733161","display_name":"Andrea Turrini","orcid":"https://orcid.org/0000-0003-4343-9323"},"institutions":[{"id":"https://openalex.org/I4210142539","display_name":"Guangdong Institute of Intelligent Manufacturing","ror":"https://ror.org/049jpjz09","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210142539"]},{"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":"Andrea Turrini","raw_affiliation_strings":["Institute of Intelligent Software, Guangzhou, Guangzhou, People\u2019s Republic of China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"Institute of Intelligent Software, Guangzhou, Guangzhou, People\u2019s Republic of China","institution_ids":["https://openalex.org/I4210142539"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of 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, People's Republic of China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5030524096","https://openalex.org/A5100711677"],"corresponding_institution_ids":["https://openalex.org/I146655781","https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I60587646"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.0043,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.73208606,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"249","last_page":"270"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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.9991999864578247,"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/T11567","display_name":"semigroups and automata theory","score":0.9902999997138977,"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.9854000210762024,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7822012901306152},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6524418592453003},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.5668127536773682},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5602890849113464},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5245085954666138},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4799778461456299},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4303953945636749},{"id":"https://openalex.org/keywords/complementation","display_name":"Complementation","score":0.4131866991519928},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25524628162384033}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7822012901306152},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6524418592453003},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.5668127536773682},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5602890849113464},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5245085954666138},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4799778461456299},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4303953945636749},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.4131866991519928},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25524628162384033},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-30823-9_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30823-9_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30823-9_13.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-30823-9_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30823-9_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30823-9_13.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6499999761581421}],"awards":[{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1231421488","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1934935867","display_name":null,"funder_award_id":"Engineering and Physical Sciences R","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2311450812","display_name":"Fostering Human Rights Among European (external and internal) Policies","funder_award_id":"320000","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2689612763","display_name":null,"funder_award_id":"Marie","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2802911279","display_name":null,"funder_award_id":"Young","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3298403960","display_name":null,"funder_award_id":"GA23-","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3373991914","display_name":null,"funder_award_id":"101008233","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G367036859","display_name":null,"funder_award_id":"6210240","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4020255992","display_name":null,"funder_award_id":"Project","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4115941747","display_name":null,"funder_award_id":"Ministry of Education","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4275097225","display_name":null,"funder_award_id":"62102407","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4677120484","display_name":null,"funder_award_id":"YSBR-040","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4956428346","display_name":null,"funder_award_id":"Horizon 2020 research and innovatio","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4999239871","display_name":"Reinforcement Learning for Finite Horizons (ReLeaF)","funder_award_id":"EP/X021513/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5036817778","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innov","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5399556803","display_name":null,"funder_award_id":"This project has received funding from the Europea","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6258415954","display_name":null,"funder_award_id":"Chinese","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6663863995","display_name":null,"funder_award_id":"XDA0320000","funder_id":"https://openalex.org/F4320321133","funder_display_name":"Chinese Academy of Sciences"},{"id":"https://openalex.org/G7050863041","display_name":null,"funder_award_id":"YSBR-040","funder_id":"https://openalex.org/F4320321133","funder_display_name":"Chinese Academy of Sciences"},{"id":"https://openalex.org/G7097245526","display_name":null,"funder_award_id":"61836005","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7459148310","display_name":null,"funder_award_id":"GA23-07565S","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8633428685","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innovat","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"},{"id":"https://openalex.org/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4366672939.pdf"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W104223015","https://openalex.org/W286513891","https://openalex.org/W1495139601","https://openalex.org/W1599105898","https://openalex.org/W1599236338","https://openalex.org/W1644968762","https://openalex.org/W1964626357","https://openalex.org/W1964680921","https://openalex.org/W1965927648","https://openalex.org/W1976773489","https://openalex.org/W1994797527","https://openalex.org/W2014767396","https://openalex.org/W2023808162","https://openalex.org/W2031592188","https://openalex.org/W2050073538","https://openalex.org/W2059045337","https://openalex.org/W2076334860","https://openalex.org/W2086970337","https://openalex.org/W2091750535","https://openalex.org/W2124285023","https://openalex.org/W2138856440","https://openalex.org/W2168605507","https://openalex.org/W2487186542","https://openalex.org/W2501722818","https://openalex.org/W2522043470","https://openalex.org/W2626852693","https://openalex.org/W2763823660","https://openalex.org/W2765527199","https://openalex.org/W2777178969","https://openalex.org/W2798623107","https://openalex.org/W2799100779","https://openalex.org/W2949283240","https://openalex.org/W2952908521","https://openalex.org/W2963378790","https://openalex.org/W2963524373","https://openalex.org/W2964335063","https://openalex.org/W2982119447","https://openalex.org/W2990071612","https://openalex.org/W3027188300","https://openalex.org/W3042859643","https://openalex.org/W3098682569","https://openalex.org/W3103503317","https://openalex.org/W3104076899","https://openalex.org/W3122348209","https://openalex.org/W3122950708","https://openalex.org/W3130346675","https://openalex.org/W3193588428","https://openalex.org/W3217777288","https://openalex.org/W4226459950","https://openalex.org/W4246764629","https://openalex.org/W4283722959","https://openalex.org/W4289874360","https://openalex.org/W4289921754","https://openalex.org/W4313680197","https://openalex.org/W6894066395"],"related_works":["https://openalex.org/W1518010816","https://openalex.org/W1976496938","https://openalex.org/W2189178478","https://openalex.org/W2154338693","https://openalex.org/W2060032524","https://openalex.org/W1529656707","https://openalex.org/W2053233145","https://openalex.org/W2928599599","https://openalex.org/W2170634995","https://openalex.org/W2082036845"],"abstract_inverted_index":{"Abstract":[0],"Complementation":[1],"of":[2,24,32,75,90,109,112,169,186,191,206,212,222],"nondeterministic":[3],"B\u00fcchi":[4],"automata":[5,12],"(BAs)":[6],"is":[7],"an":[8,145,163],"important":[9],"problem":[10],"in":[11,17,29,139,198],"theory":[13],"with":[14,69,133,144],"numerous":[15],"applications":[16],"formal":[18],"verification,":[19],"such":[20],"as":[21,94,230],"termination":[22],"analysis":[23],"programs,":[25],"model":[26],"checking,":[27],"or":[28,100],"decision":[30],"procedures":[31,67,125],"some":[33],"logics.":[34],"We":[35,116,194],"build":[36],"on":[37,43,208],"ideas":[38],"from":[39],"a":[40,52,73,118,142,199,203,209,231],"recent":[41],"work":[42],"BA":[44,57,65,236],"determinization":[45],"by":[46],"Li":[47],"et":[48],"al.":[49],"and":[50,102,130,201,225,238],"propose":[51],"new":[53,166],"modular":[54],"algorithm":[55,60,197],"for":[56,72,184,233],"complementation.":[58],"Our":[59],"allows":[61],"to":[62,161],"combine":[63],"several":[64,134],"complementation":[66,124,185,237],"together,":[68],"one":[70,85],"procedure":[71],"subset":[74],"the":[76,88,110,113,156,187,196,220,223],"BA\u2019s":[77],"strongly":[78],"connected":[79],"components":[80],"(SCCs).":[81],"In":[82],"this":[83],"way,":[84],"can":[86,126,150,228],"exploit":[87],"structure":[89,111],"particular":[91],"SCCs":[92],"(such":[93],"when":[95],"they":[96],"are":[97],"inherently":[98],"weak":[99],"deterministic)":[101],"use":[103],"more":[104,153],"efficient":[105,235],"specialized":[106],"algorithms,":[107],"regardless":[108],"whole":[114],"BA.":[115],"give":[117],"general":[119],"framework":[120,137,217],"into":[121],"which":[122,149],"partial":[123],"be":[127,152],"plugged":[128],"in,":[129],"its":[131],"instantiation":[132],"algorithms.":[135,241],"The":[136],"can,":[138],"general,":[140],"produce":[141],"complement":[143],"Emerson-Lei":[146],"acceptance":[147],"condition,":[148],"often":[151],"compact.":[154],"Using":[155],"algorithm,":[157],"we":[158],"were":[159],"able":[160],"establish":[162],"exponentially":[164],"better":[165],"upper":[167],"bound":[168],"$$\\mathcal":[170],"{O}(4^n)$$":[171],"<mml:math":[172],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[173],"<mml:mrow>":[174],"<mml:mi>O</mml:mi>":[175],"<mml:mo>(</mml:mo>":[176],"<mml:msup>":[177],"<mml:mn>4</mml:mn>":[178],"<mml:mi>n</mml:mi>":[179],"</mml:msup>":[180],"<mml:mo>)</mml:mo>":[181],"</mml:mrow>":[182],"</mml:math>":[183],"recently":[188],"introduced":[189],"class":[190],"elevator":[192],"automata.":[193],"implemented":[195],"prototype":[200],"performed":[202],"comprehensive":[204],"set":[205,211],"experiments":[207],"large":[210],"benchmarks,":[213],"showing":[214],"that":[215,226],"our":[216],"complements":[218],"well":[219],"state":[221],"art":[224],"it":[227],"serve":[229],"basis":[232],"future":[234],"inclusion":[239],"checking":[240]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}