{"id":"https://openalex.org/W4205146527","doi":"https://doi.org/10.46298/lmcs-18(1:3)2022","title":"Good-for-games $\\omega$-Pushdown Automata","display_name":"Good-for-games $\\omega$-Pushdown Automata","publication_year":2022,"publication_date":"2022-01-07","ids":{"openalex":"https://openalex.org/W4205146527","doi":"https://doi.org/10.46298/lmcs-18(1:3)2022"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-18(1:3)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(1:3)2022","pdf_url":"https://lmcs.episciences.org/8935/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/8935/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039866284","display_name":"Karoliina Lehtinen","orcid":"https://orcid.org/0000-0003-1171-8790"},"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/I143002897","display_name":"Universit\u00e9 de Toulon","ror":"https://ror.org/02m9kbe37","country_code":"FR","type":"education","lineage":["https://openalex.org/I143002897"]},{"id":"https://openalex.org/I21491767","display_name":"Aix-Marseille Universit\u00e9","ror":"https://ror.org/035xkbk20","country_code":"FR","type":"education","lineage":["https://openalex.org/I21491767"]},{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Karoliina Lehtinen","raw_affiliation_strings":["CNRS, Aix-Marseille Universit and Universit de Toulon, LIS, Marseille, France","LIS - Laboratoire d'Informatique et des Syst\u00e8mes (LIS) (Marseille, Toulon) (Aix Marseille Universit\u00e9 \u2013 Campus de Saint J\u00e9r\u00f4me \u2013 Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France)","MOVE - Mod\u00e9lisation et V\u00e9rification (Luminy - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, Aix-Marseille Universit and Universit de Toulon, LIS, Marseille, France","institution_ids":["https://openalex.org/I143002897","https://openalex.org/I4210114274","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LIS - Laboratoire d'Informatique et des Syst\u00e8mes (LIS) (Marseille, Toulon) (Aix Marseille Universit\u00e9 \u2013 Campus de Saint J\u00e9r\u00f4me \u2013 Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France)","institution_ids":["https://openalex.org/I4210114274","https://openalex.org/I21491767"]},{"raw_affiliation_string":"MOVE - Mod\u00e9lisation et V\u00e9rification (Luminy - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064596121","display_name":"Mart\u00edn Zimmermann","orcid":"https://orcid.org/0000-0002-8038-2453"},"institutions":[{"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"]},{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK","GB"],"is_corresponding":false,"raw_author_name":"Martin Zimmermann","raw_affiliation_strings":["University of Liverpool, Liverpool, United Kingdom current","affiliation: Aalborg University, Aalborg, Denmark","University of Liverpool (Liverpool L69 3BX, United Kingdom - United Kingdom)"],"raw_orcid":"https://orcid.org/0000-0002-8038-2453","affiliations":[{"raw_affiliation_string":"University of Liverpool, Liverpool, United Kingdom current","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"affiliation: Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"University of Liverpool (Liverpool L69 3BX, United Kingdom - United Kingdom)","institution_ids":["https://openalex.org/I146655781"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2913,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.81284132,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"Volume 18, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9997000098228455,"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/T11567","display_name":"semigroups and automata theory","score":0.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/pushdown-automaton","display_name":"Pushdown automaton","score":0.7758924961090088},{"id":"https://openalex.org/keywords/embedded-pushdown-automaton","display_name":"Embedded pushdown automaton","score":0.6772197484970093},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6417688131332397},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.560981810092926},{"id":"https://openalex.org/keywords/deterministic-pushdown-automaton","display_name":"Deterministic pushdown automaton","score":0.504764199256897},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41778892278671265},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4112602770328522},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33926963806152344},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2896202802658081},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2604612708091736},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.23429766297340393},{"id":"https://openalex.org/keywords/nondeterministic-finite-automaton","display_name":"Nondeterministic finite automaton","score":0.09352943301200867},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0705462098121643},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.0699651837348938}],"concepts":[{"id":"https://openalex.org/C77944639","wikidata":"https://www.wikidata.org/wiki/Q751443","display_name":"Pushdown automaton","level":3,"score":0.7758924961090088},{"id":"https://openalex.org/C27034413","wikidata":"https://www.wikidata.org/wiki/Q5370010","display_name":"Embedded pushdown automaton","level":5,"score":0.6772197484970093},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6417688131332397},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.560981810092926},{"id":"https://openalex.org/C74919329","wikidata":"https://www.wikidata.org/wiki/Q378713","display_name":"Deterministic pushdown automaton","level":5,"score":0.504764199256897},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41778892278671265},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4112602770328522},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33926963806152344},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2896202802658081},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2604612708091736},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.23429766297340393},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.09352943301200867},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0705462098121643},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.0699651837348938},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C134083981","wikidata":"https://www.wikidata.org/wiki/Q1754022","display_name":"Tree-adjoining grammar","level":4,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.46298/lmcs-18(1:3)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(1:3)2022","pdf_url":"https://lmcs.episciences.org/8935/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2001.04392","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2001.04392","pdf_url":"https://arxiv.org/pdf/2001.04392","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:publications/6840b054-9cb8-43f1-a04f-c4cef9014754","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/6840b054-9cb8-43f1-a04f-c4cef9014754","pdf_url":"https://vbn.aau.dk/files/472548015/2001.04392.pdf","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"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":"Lehtinen, K & Zimmermann, M 2022, 'Good-for-Games \u03c9-Pushdown Automata', Logical Methods in Computer Science, vol. 18, no. 1. https://doi.org/10.46298/LMCS-18(1:3)2022","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:HAL:hal-03522789v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03522789","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 2022, Volume 18, Issue 1, ⟨10.46298/lmcs-18(1:3)2022⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:13c54ee4cc5a4e4294f564651a4c6c79","is_oa":true,"landing_page_url":"https://doaj.org/article/13c54ee4cc5a4e4294f564651a4c6c79","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-18(1:3)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(1:3)2022","pdf_url":"https://lmcs.episciences.org/8935/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1022114319","display_name":"Foundations of Composition","funder_award_id":"892704","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","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"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4205146527.pdf","grobid_xml":"https://content.openalex.org/works/W4205146527.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W128496866","https://openalex.org/W325606627","https://openalex.org/W589764772","https://openalex.org/W1494274610","https://openalex.org/W1562818191","https://openalex.org/W1594196576","https://openalex.org/W1725438563","https://openalex.org/W1889920293","https://openalex.org/W1997093946","https://openalex.org/W2003250112","https://openalex.org/W2022934640","https://openalex.org/W2038722538","https://openalex.org/W2087879437","https://openalex.org/W2151033407","https://openalex.org/W2284766497","https://openalex.org/W2405152255","https://openalex.org/W2486526350","https://openalex.org/W2487859101","https://openalex.org/W2502103274","https://openalex.org/W2604798101","https://openalex.org/W2901103347","https://openalex.org/W2955957183","https://openalex.org/W3022006420","https://openalex.org/W3102384285","https://openalex.org/W3102720710","https://openalex.org/W3107587550","https://openalex.org/W3141621133","https://openalex.org/W3148876553","https://openalex.org/W3193561143","https://openalex.org/W3211092093","https://openalex.org/W4229670679","https://openalex.org/W4232505977","https://openalex.org/W4302339081","https://openalex.org/W4315691002"],"related_works":["https://openalex.org/W2067895928","https://openalex.org/W1991406344","https://openalex.org/W2049492436","https://openalex.org/W1511257926","https://openalex.org/W2472752294","https://openalex.org/W2012479020","https://openalex.org/W2522490152","https://openalex.org/W2025957242","https://openalex.org/W1486486721","https://openalex.org/W2074593591"],"abstract_inverted_index":{"We":[0],"introduce":[1],"good-for-games":[2],"$\\omega$-pushdown":[3,115],"automata":[4,8,23,52,116],"($\\omega$-GFG-PDA).":[5],"These":[6],"are":[7,42,45],"whose":[9],"nondeterminism":[10,133],"can":[11],"be":[12,25],"resolved":[13],"based":[14],"on":[15,158],"the":[16,86,102,127,132,139,153],"input":[17],"processed":[18],"so":[19],"far.":[20],"Good-for-gameness":[21],"enables":[22],"to":[24,123,130],"composed":[26],"with":[27,58],"games,":[28],"trees,":[29],"and":[30,53,110,117,136],"other":[31],"automata,":[32],"applications":[33],"which":[34,78],"otherwise":[35],"require":[36],"deterministic":[37,49],"automata.":[38],"Our":[39],"main":[40],"results":[41],"that":[43,54,85,138],"$\\omega$-GFG-PDA":[44,63,90,122,144],"more":[46],"expressive":[47],"than":[48],"$\\omega$-":[50],"pushdown":[51],"solving":[55,79],"infinite":[56],"games":[57,80],"winning":[59,75],"conditions":[60,76],"specified":[61],"by":[62,107],"is":[64,81,91,145,148],"EXPTIME-complete.":[65],"Thus,":[66],"we":[67,97,120],"have":[68],"identified":[69],"a":[70,149],"new":[71],"class":[72,103],"of":[73,101,104,112,114,152],"$\\omega$-contextfree":[74],"for":[77,89,143],"decidable.":[82],"It":[83],"follows":[84],"universality":[87],"problem":[88],"in":[92,134],"EXPTIME":[93],"as":[94],"well.":[95],"Moreover,":[96],"study":[98,126],"closure":[99],"properties":[100],"languages":[105],"recognized":[106],"$\\omega$-GFG-":[108],"PDA":[109],"decidability":[111],"good-for-gameness":[113],"languages.":[118],"Finally,":[119],"compare":[121],"$\\omega$-visibly":[124],"PDA,":[125],"resources":[128],"necessary":[129],"resolve":[131],"$\\omega$-GFG-PDA,":[135],"prove":[137],"parity":[140],"index":[141],"hierarchy":[142],"infinite.":[146],"This":[147],"corrected":[150],"version":[151],"paper":[154],"arXiv:2001.04392v6":[155],"published":[156],"originally":[157],"January":[159],"7,":[160],"2022.":[161]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-10T07:45:09.275182","created_date":"2025-10-10T00:00:00"}