{"id":"https://openalex.org/W3004485666","doi":"https://doi.org/10.1145/3431860","title":"Alternating Tree Automata with Qualitative Semantics","display_name":"Alternating Tree Automata with Qualitative Semantics","publication_year":2020,"publication_date":"2020-12-17","ids":{"openalex":"https://openalex.org/W3004485666","doi":"https://doi.org/10.1145/3431860","mag":"3004485666"},"language":"en","primary_location":{"id":"doi:10.1145/3431860","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3431860","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2002.03664","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068382207","display_name":"Rapha\u00ebl Berthon","orcid":"https://orcid.org/0000-0002-2580-5193"},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Rapha\u00ebl Berthon","raw_affiliation_strings":["Universit\u00e9 libre de Bruxelles, Belgium","Universit\u00e9 Libre de Bruxelles, Belgium"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 libre de Bruxelles, Belgium","institution_ids":["https://openalex.org/I132053463"]},{"raw_affiliation_string":"Universit\u00e9 Libre de Bruxelles, Belgium","institution_ids":["https://openalex.org/I132053463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022821778","display_name":"Nathana\u00ebl Fijalkow","orcid":"https://orcid.org/0000-0002-6576-4680"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]},{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nathana\u00ebl Fijalkow","raw_affiliation_strings":["CNRS 8 LaBRI, Talence, France"],"affiliations":[{"raw_affiliation_string":"CNRS 8 LaBRI, Talence, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210142254","https://openalex.org/I15057530","https://openalex.org/I4210160189"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049821685","display_name":"Emmanuel Filiot","orcid":"https://orcid.org/0000-0002-2520-5630"},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Emmanuel Filiot","raw_affiliation_strings":["Universit\u00e9 libre de Bruxelles, Belgium","Universit\u00e9 Libre de Bruxelles, Belgium"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 libre de Bruxelles, Belgium","institution_ids":["https://openalex.org/I132053463"]},{"raw_affiliation_string":"Universit\u00e9 Libre de Bruxelles, Belgium","institution_ids":["https://openalex.org/I132053463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089838447","display_name":"Shibashis Guha","orcid":"https://orcid.org/0000-0002-9814-6651"},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Shibashis Guha","raw_affiliation_strings":["Universit\u00e9 libre de Bruxelles, Belgium","Universit\u00e9 Libre de Bruxelles, Belgium"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 libre de Bruxelles, Belgium","institution_ids":["https://openalex.org/I132053463"]},{"raw_affiliation_string":"Universit\u00e9 Libre de Bruxelles, Belgium","institution_ids":["https://openalex.org/I132053463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020611616","display_name":"Bastien Maubert","orcid":null},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Bastien Maubert","raw_affiliation_strings":["Universit\u00e0 degli Studi di Napoli \u201cFederico II\u201d, Napoli, Italy","Universit\u00e0 degli Studi di Napoli Federico II  Napoli Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli \u201cFederico II\u201d, Napoli, Italy","institution_ids":["https://openalex.org/I71267560"]},{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli Federico II  Napoli Italy","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055415505","display_name":"Aniello Murano","orcid":"https://orcid.org/0000-0003-4876-3448"},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Aniello Murano","raw_affiliation_strings":["Universit\u00e0 degli Studi di Napoli \u201cFederico II\u201d, Napoli, Italy","Universit\u00e0 degli Studi di Napoli Federico II  Napoli Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli \u201cFederico II\u201d, Napoli, Italy","institution_ids":["https://openalex.org/I71267560"]},{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli Federico II  Napoli Italy","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073866269","display_name":"Laureline Pinault","orcid":null},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laureline Pinault","raw_affiliation_strings":["Universit\u00e9 Lyon, CNRS, ENS de Lyon, UCB Lyon 1, LIP, Lyon, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Lyon, CNRS, ENS de Lyon, UCB Lyon 1, LIP, Lyon, France","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I100532134","https://openalex.org/I1294671590","https://openalex.org/I113428412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045320227","display_name":"Sophie Pinchinat","orcid":"https://orcid.org/0000-0002-0901-8480"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sophie Pinchinat","raw_affiliation_strings":["Universit\u00e9 Rennes, CNRS, IRISA, Rennes Cedex, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Rennes, CNRS, IRISA, Rennes Cedex, France","institution_ids":["https://openalex.org/I56067802","https://openalex.org/I2802519937","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000922082","display_name":"Sasha Rubin","orcid":"https://orcid.org/0000-0002-3948-129X"},"institutions":[{"id":"https://openalex.org/I129604602","display_name":"The University of Sydney","ror":"https://ror.org/0384j8v12","country_code":"AU","type":"education","lineage":["https://openalex.org/I129604602"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Sasha Rubin","raw_affiliation_strings":["University of Sydney, Darlington NSW, Australia","University of Sydney, Darlington NSW, Australia#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Sydney, Darlington NSW, Australia","institution_ids":["https://openalex.org/I129604602"]},{"raw_affiliation_string":"University of Sydney, Darlington NSW, Australia#TAB#","institution_ids":["https://openalex.org/I129604602"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003802384","display_name":"Olivier Serre","orcid":"https://orcid.org/0000-0001-5936-240X"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Olivier Serre","raw_affiliation_strings":["Universit\u00e9 de Paris, IRIF, CNRS, Paris Cedex, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Paris, IRIF, CNRS, Paris Cedex, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":10,"corresponding_author_ids":["https://openalex.org/A5068382207"],"corresponding_institution_ids":["https://openalex.org/I132053463"],"apc_list":null,"apc_paid":null,"fwci":0.4332,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.6712626,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"22","issue":"1","first_page":"1","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"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.9987999796867371,"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.9976000189781189,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9970999956130981,"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/emptiness","display_name":"Emptiness","score":0.6970590353012085},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.6105933785438538},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5978536605834961},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5522982478141785},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5492690205574036},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5395028591156006},{"id":"https://openalex.org/keywords/b\u00fcchi-automaton","display_name":"B\u00fcchi automaton","score":0.4470316767692566},{"id":"https://openalex.org/keywords/\u03c9-automaton","display_name":"\u03c9-automaton","score":0.44274380803108215},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.43043747544288635},{"id":"https://openalex.org/keywords/tree-automaton","display_name":"Tree automaton","score":0.4235371947288513},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.38390520215034485},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.3180254101753235},{"id":"https://openalex.org/keywords/deterministic-automaton","display_name":"Deterministic automaton","score":0.3174692392349243},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.24920061230659485},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.23444703221321106},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.21501368284225464},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08712753653526306}],"concepts":[{"id":"https://openalex.org/C2779150620","wikidata":"https://www.wikidata.org/wiki/Q1096367","display_name":"Emptiness","level":2,"score":0.6970590353012085},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.6105933785438538},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5978536605834961},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5522982478141785},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5492690205574036},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5395028591156006},{"id":"https://openalex.org/C165753454","wikidata":"https://www.wikidata.org/wiki/Q1020380","display_name":"B\u00fcchi automaton","level":4,"score":0.4470316767692566},{"id":"https://openalex.org/C92710233","wikidata":"https://www.wikidata.org/wiki/Q291256","display_name":"\u03c9-automaton","level":5,"score":0.44274380803108215},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43043747544288635},{"id":"https://openalex.org/C2778583254","wikidata":"https://www.wikidata.org/wiki/Q2872598","display_name":"Tree automaton","level":3,"score":0.4235371947288513},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.38390520215034485},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.3180254101753235},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.3174692392349243},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24920061230659485},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.23444703221321106},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.21501368284225464},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08712753653526306},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1145/3431860","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3431860","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2002.03664","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2002.03664","pdf_url":"https://arxiv.org/pdf/2002.03664","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"mag:3004485666","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2002.03664v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:HAL:hal-02533936v1","is_oa":true,"landing_page_url":"https://hal.science/hal-02533936","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://dl.acm.org/doi/10.1145/3431860","raw_type":"Journal articles"},{"id":"pmh:oai:HAL:hal-04047890v1","is_oa":false,"landing_page_url":"https://hal.science/hal-04047890","pdf_url":null,"source":{"id":"https://openalex.org/S4406922452","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Computational Logic, 2021, 22 (1), pp.1-24. ⟨10.1145/3431860⟩","raw_type":"Journal articles"},{"id":"pmh:oai:dipot.ulb.ac.be:2013/320398","is_oa":true,"landing_page_url":"http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/320398","pdf_url":null,"source":{"id":"https://openalex.org/S4306401063","display_name":"D\u00e9p\u00f4t institutionnel de l'Universit\u00e9 libre de Bruxelles (Universit\u00e9 Libre de Bruxelles)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I132053463","host_organization_name":"Universit\u00e9 Libre de Bruxelles","host_organization_lineage":["https://openalex.org/I132053463"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM transactions on computational logic, 22 (1","raw_type":"info:ulb-repo/semantics/openurl/article"},{"id":"doi:10.48550/arxiv.2002.03664","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2002.03664","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2002.03664","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2002.03664","pdf_url":"https://arxiv.org/pdf/2002.03664","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W177913229","https://openalex.org/W979688668","https://openalex.org/W1480889453","https://openalex.org/W1568234282","https://openalex.org/W1574229394","https://openalex.org/W1579117491","https://openalex.org/W1778174682","https://openalex.org/W1816620374","https://openalex.org/W1965611063","https://openalex.org/W1966886635","https://openalex.org/W1987738956","https://openalex.org/W2048183302","https://openalex.org/W2060375000","https://openalex.org/W2066219736","https://openalex.org/W2069888227","https://openalex.org/W2092977061","https://openalex.org/W2119567691","https://openalex.org/W2135432862","https://openalex.org/W2135776689","https://openalex.org/W2146819619","https://openalex.org/W2162583406","https://openalex.org/W2249690155","https://openalex.org/W2295213764","https://openalex.org/W2400132119","https://openalex.org/W2538671723","https://openalex.org/W2589429078","https://openalex.org/W2768977075","https://openalex.org/W2909826889","https://openalex.org/W2963134155","https://openalex.org/W2963566691","https://openalex.org/W2963632687","https://openalex.org/W2965659827","https://openalex.org/W4212875940","https://openalex.org/W6641981075","https://openalex.org/W6649815000"],"related_works":["https://openalex.org/W2042546332","https://openalex.org/W2044854034","https://openalex.org/W3006504376","https://openalex.org/W1515863024","https://openalex.org/W2942696941","https://openalex.org/W2618109676","https://openalex.org/W2933242334","https://openalex.org/W2167567138","https://openalex.org/W3113447137","https://openalex.org/W2024742941","https://openalex.org/W2032900579","https://openalex.org/W3014120279","https://openalex.org/W3115605015","https://openalex.org/W1810796502","https://openalex.org/W1485651606","https://openalex.org/W2056864188","https://openalex.org/W2009929770","https://openalex.org/W1988472308","https://openalex.org/W3103530092","https://openalex.org/W3045850151"],"abstract_inverted_index":{"We":[0],"study":[1],"alternating":[2,65,108,172,184],"automata":[3,66,174],"with":[4,67,159,175],"qualitative":[5,29,68,161],"semantics":[6,30],"over":[7],"infinite":[8],"binary":[9],"trees:":[10],"Alternation":[11],"means":[12],"that":[13,32,94],"two":[14,149],"opposing":[15],"players":[16],"construct":[17,120],"a":[18,25,33,54,57,178],"decoration":[19],"of":[20,35,44,64,76,83,90,107,126,135,142,154,167,183],"the":[21,28,36,45,61,74,77,81,99,104,133,136,140,152,160,165,168],"input":[22],"tree":[23,173,185],"called":[24],"run,":[26],"and":[27,56,164],"says":[31],"run":[34,46],"automaton":[37],"is":[38,73,93,132],"accepting":[39],"if":[40],"almost":[41],"all":[42],"branches":[43],"are":[47],"accepting.":[48],"In":[49],"this":[50],"article,":[51],"we":[52,95,118],"prove":[53],"positive":[55,71],"negative":[58,130],"result":[59,72,131,147],"for":[60,80,102,139,171],"emptiness":[62,78,105,122,137,169],"problem":[63,79,106,138,170],"semantics.":[69],"The":[70,129],"decidability":[75],"case":[82,141],"B\u00fcchi":[84],"acceptance":[85,144],"condition.":[86,145],"An":[87],"interesting":[88],"aspect":[89],"our":[91],"approach":[92],"do":[96],"not":[97],"extend":[98],"classical":[100],"solution":[101],"solving":[103],"automata,":[109],"which":[110],"first":[111],"constructs":[112],"an":[113,121],"equivalent":[114],"non-deterministic":[115],"automaton.":[116],"Instead,":[117],"directly":[119],"game":[123],"making":[124],"use":[125],"imperfect":[127],"information.":[128],"undecidability":[134,153,166],"co-B\u00fcchi":[143],"This":[146],"has":[148],"direct":[150],"consequences:":[151],"monadic":[155],"second-order":[156],"logic":[157],"extended":[158],"path-measure":[162],"quantifier":[163],"non-zero":[176],"semantics,":[177],"recently":[179],"introduced":[180],"probabilistic":[181],"model":[182],"automata.":[186]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}