{"id":"https://openalex.org/W4283722959","doi":"https://doi.org/10.1007/978-3-031-13188-2_8","title":"Divide-and-Conquer Determinization of\u00a0B\u00fcchi Automata Based on\u00a0SCC Decomposition","display_name":"Divide-and-Conquer Determinization of\u00a0B\u00fcchi Automata Based on\u00a0SCC Decomposition","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4283722959","doi":"https://doi.org/10.1007/978-3-031-13188-2_8"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-13188-2_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-13188-2_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-13188-2_8.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":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-13188-2_8.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100711677","display_name":"Yong Li","orcid":"https://orcid.org/0000-0002-7301-9234"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","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":"Yong Li","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-7301-9234","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074733161","display_name":"Andrea Turrini","orcid":"https://orcid.org/0000-0003-4343-9323"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","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, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-4343-9323","affiliations":[{"raw_affiliation_string":"Institute of Intelligent Software, Guangzhou, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025792526","display_name":"Weizhi Feng","orcid":"https://orcid.org/0000-0003-0710-223X"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weizhi Feng","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-0710-223X","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000059818","display_name":"Moshe Y. Vardi","orcid":"https://orcid.org/0000-0002-0661-5773"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Moshe Y. Vardi","raw_affiliation_strings":["Rice University, Houston, USA"],"raw_orcid":"https://orcid.org/0000-0002-0661-5773","affiliations":[{"raw_affiliation_string":"Rice University, Houston, USA","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100448153","display_name":"Lijun Zhang","orcid":"https://orcid.org/0000-0002-3692-2088"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lijun Zhang","raw_affiliation_strings":["Institute of Intelligent Software, Guangzhou, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-3692-2088","affiliations":[{"raw_affiliation_string":"Institute of Intelligent Software, Guangzhou, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":null,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"152","last_page":"173"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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.9958999752998352,"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/T11567","display_name":"semigroups and automata theory","score":0.9923999905586243,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8093521595001221},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7479875087738037},{"id":"https://openalex.org/keywords/divide-and-conquer-algorithms","display_name":"Divide and conquer algorithms","score":0.6459024548530579},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5349494218826294},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.533112645149231},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.5061904788017273},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.43719711899757385},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4138486385345459},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40133488178253174},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1813090443611145},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13848578929901123}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8093521595001221},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7479875087738037},{"id":"https://openalex.org/C71559656","wikidata":"https://www.wikidata.org/wiki/Q671298","display_name":"Divide and conquer algorithms","level":2,"score":0.6459024548530579},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5349494218826294},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.533112645149231},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.5061904788017273},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.43719711899757385},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4138486385345459},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40133488178253174},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1813090443611145},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13848578929901123},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-13188-2_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-13188-2_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-13188-2_8.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-13188-2_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-13188-2_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-13188-2_8.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":[],"awards":[{"id":"https://openalex.org/G1098857249","display_name":"NRI: FND: Robotic Collaboration through Scalable Reactive Synthesis","funder_award_id":"1830549","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3373991914","display_name":"Models in Space Systems: Integration, Operation, and Networking","funder_award_id":"101008233","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3430167480","display_name":"SHF: Medium: Collaborative Research: Formal Analysis and Synthesis of Multiagent Systems with Incentives","funder_award_id":"1704883","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3587679958","display_name":null,"funder_award_id":"N00014-20-1-2787","funder_id":"https://openalex.org/F4320333591","funder_display_name":"Multidisciplinary University Research Initiative"},{"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/G4515317840","display_name":null,"funder_award_id":"IIS-1527668","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5414327316","display_name":null,"funder_award_id":"IIS-1830549","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6706517093","display_name":null,"funder_award_id":"N00014-20-1-2787","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7097245526","display_name":"\u7c7b\u4eba\u4efb\u52a1\u89c4\u5212\u3001\u63a8\u7406\u53ca\u5176\u9a8c\u8bc1\u7cfb\u7edf\u7684\u7814\u7a76\u548c\u5e94\u7528","funder_award_id":"61836005","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"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/F4320333591","display_name":"Multidisciplinary University Research Initiative","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4283722959.pdf","grobid_xml":"https://content.openalex.org/works/W4283722959.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W986424706","https://openalex.org/W1495139601","https://openalex.org/W1498432697","https://openalex.org/W1507176903","https://openalex.org/W1516066014","https://openalex.org/W1528149868","https://openalex.org/W1557490459","https://openalex.org/W1599236338","https://openalex.org/W1644968762","https://openalex.org/W1964626357","https://openalex.org/W1972203711","https://openalex.org/W1975657455","https://openalex.org/W1983662674","https://openalex.org/W1990609140","https://openalex.org/W2014767396","https://openalex.org/W2016206563","https://openalex.org/W2031592188","https://openalex.org/W2050073538","https://openalex.org/W2059045337","https://openalex.org/W2087756506","https://openalex.org/W2091750535","https://openalex.org/W2124285023","https://openalex.org/W2138856440","https://openalex.org/W2322473536","https://openalex.org/W2501722818","https://openalex.org/W2522043470","https://openalex.org/W2765527199","https://openalex.org/W2892537867","https://openalex.org/W2949283240","https://openalex.org/W2952908521","https://openalex.org/W2982119447","https://openalex.org/W3048521874","https://openalex.org/W3104076899","https://openalex.org/W3122348209","https://openalex.org/W3122950708","https://openalex.org/W4226039505","https://openalex.org/W4226459950","https://openalex.org/W4234096182","https://openalex.org/W4302339081","https://openalex.org/W6894082973"],"related_works":["https://openalex.org/W2952834750","https://openalex.org/W3036102251","https://openalex.org/W4387237100","https://openalex.org/W2088800977","https://openalex.org/W2615308287","https://openalex.org/W1943623735","https://openalex.org/W2735277599","https://openalex.org/W1562384377","https://openalex.org/W2116593309","https://openalex.org/W2019784509"],"abstract_inverted_index":{"Abstract":[0],"The":[1,24,171],"determinization":[2,26,49,96],"of":[3,13,62,82,94,101,104,139,166,186],"a":[4,10,47,133,163],"nondeterministic":[5,72],"B\u00fcchi":[6],"automaton":[7,136],"(NBA)":[8],"is":[9],"fundamental":[11],"construction":[12],"automata":[14],"theory,":[15],"with":[16,155],"applications":[17],"to":[18,78,116,120],"probabilistic":[19],"verification":[20],"and":[21,71,141,151,160,181,188],"reactive":[22],"synthesis.":[23],"standard":[25],"constructions,":[27],"such":[28],"as":[29,66],"the":[30,34,39,57,63,86,95,102,122,156,169,184],"ones":[31],"based":[32],"on":[33,38,162],"Safra-Piterman\u2019s":[35],"approach,":[36],"work":[37,44],"whole":[40],"NBA.":[41],"In":[42],"this":[43,52,88],"we":[45,54,113],"propose":[46],"divide-and-conquer":[48],"approach.":[50],"To":[51],"end,":[53],"first":[55],"classify":[56],"strongly":[58],"connected":[59],"components":[60],"(SCCs)":[61],"given":[64],"NBA":[65],"inherently":[67],"weak,":[68],"deterministic":[69,125,134],"accepting,":[70],"accepting.":[73],"We":[74,143],"then":[75],"present":[76],"how":[77,115],"determinize":[79],"each":[80],"type":[81],"SCC":[83],"independently":[84],"from":[85,168],"others;":[87],"results":[89,173],"in":[90,147],"an":[91],"easier":[92],"handling":[93],"algorithm":[97,146],"that":[98,105,175],"takes":[99],"advantage":[100],"structure":[103],"SCC.":[106],"Once":[107],"all":[108],"SCCs":[109],"have":[110],"been":[111],"determinized,":[112],"show":[114,174],"compose":[117],"them":[118],"so":[119],"obtain":[121],"final":[123],"equivalent":[124],"Emerson-Lei":[126],"automaton,":[127],"which":[128],"can":[129],"be":[130],"converted":[131],"into":[132],"Rabin":[135],"without":[137],"blow-up":[138],"states":[140,187],"transitions.":[142,189],"implement":[144],"our":[145,148,176],"tool":[149],"COLA":[150,154,178],"empirically":[152],"evaluate":[153],"state-of-the-art":[157],"tools":[158],"Spot":[159,180],"Owl":[161,182],"large":[164],"set":[165],"benchmarks":[167],"literature.":[170],"experimental":[172],"prototype":[177],"outperforms":[179],"regarding":[183],"number":[185]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}