{"id":"https://openalex.org/W3021509961","doi":"https://doi.org/10.46298/lmcs-18(1:11)2022","title":"Games Where You Can Play Optimally with Arena-Independent Finite Memory","display_name":"Games Where You Can Play Optimally with Arena-Independent Finite Memory","publication_year":2022,"publication_date":"2022-01-17","ids":{"openalex":"https://openalex.org/W3021509961","doi":"https://doi.org/10.46298/lmcs-18(1:11)2022","mag":"3021509961"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-18(1:11)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(1:11)2022","pdf_url":"https://lmcs.episciences.org/8963/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","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/8963/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041884792","display_name":"Patricia Bouyer","orcid":"https://orcid.org/0000-0002-2823-0911"},"institutions":[{"id":"https://openalex.org/I4387154672","display_name":"Laboratoire M\u00e9thodes Formelles","ror":"https://ror.org/00gdtta79","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4387154672"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Patricia Bouyer","raw_affiliation_strings":["Laboratoire M\u00e9thodes Formelles"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire M\u00e9thodes Formelles","institution_ids":["https://openalex.org/I4387154672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104581658","display_name":"St\u00e9phane Le Roux","orcid":null},"institutions":[{"id":"https://openalex.org/I4387154672","display_name":"Laboratoire M\u00e9thodes Formelles","ror":"https://ror.org/00gdtta79","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4387154672"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"St\u00e9phane Le Roux","raw_affiliation_strings":["Laboratoire M\u00e9thodes Formelles"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire M\u00e9thodes Formelles","institution_ids":["https://openalex.org/I4387154672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018227899","display_name":"Youssouf Oualhadj","orcid":"https://orcid.org/0000-0003-0200-4032"},"institutions":[{"id":"https://openalex.org/I4394709117","display_name":"Laboratoire d'Algorithmique, Complexit\u00e9 et Logique","ror":"https://ror.org/05bdn0q71","country_code":null,"type":"facility","lineage":["https://openalex.org/I197681013","https://openalex.org/I4394709117"]}],"countries":[],"is_corresponding":false,"raw_author_name":"Youssouf Oualhadj","raw_affiliation_strings":["Laboratoire d'Algorithmique Complexit\u00e9 et Logique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire d'Algorithmique Complexit\u00e9 et Logique","institution_ids":["https://openalex.org/I4394709117"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050192270","display_name":"Micka\u00ebl Randour","orcid":"https://orcid.org/0000-0001-8777-2385"},"institutions":[{"id":"https://openalex.org/I130929987","display_name":"University of Mons","ror":"https://ror.org/02qnnz951","country_code":"BE","type":"education","lineage":["https://openalex.org/I130929987"]},{"id":"https://openalex.org/I4210130966","display_name":"National Research Fund Luxembourg","ror":"https://ror.org/039z13y21","country_code":"LU","type":"nonprofit","lineage":["https://openalex.org/I4210130966"]}],"countries":["BE","LU"],"is_corresponding":false,"raw_author_name":"Mickael Randour","raw_affiliation_strings":["University of Mons [Belgium]","Fonds National de la Recherche Scientifique [Bruxelles]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Mons [Belgium]","institution_ids":["https://openalex.org/I130929987"]},{"raw_affiliation_string":"Fonds National de la Recherche Scientifique [Bruxelles]","institution_ids":["https://openalex.org/I4210130966"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021049920","display_name":"Pierre Vandenhove","orcid":"https://orcid.org/0000-0001-5834-1068"},"institutions":[{"id":"https://openalex.org/I130929987","display_name":"University of Mons","ror":"https://ror.org/02qnnz951","country_code":"BE","type":"education","lineage":["https://openalex.org/I130929987"]},{"id":"https://openalex.org/I4210130966","display_name":"National Research Fund Luxembourg","ror":"https://ror.org/039z13y21","country_code":"LU","type":"nonprofit","lineage":["https://openalex.org/I4210130966"]},{"id":"https://openalex.org/I4387154672","display_name":"Laboratoire M\u00e9thodes Formelles","ror":"https://ror.org/00gdtta79","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4387154672"]}],"countries":["BE","FR","LU"],"is_corresponding":false,"raw_author_name":"Pierre Vandenhove","raw_affiliation_strings":["Fonds National de la Recherche Scientifique [Bruxelles]","Laboratoire M\u00e9thodes Formelles","University of Mons [Belgium]"],"raw_orcid":"https://orcid.org/0000-0001-5834-1068","affiliations":[{"raw_affiliation_string":"Fonds National de la Recherche Scientifique [Bruxelles]","institution_ids":["https://openalex.org/I4210130966"]},{"raw_affiliation_string":"Laboratoire M\u00e9thodes Formelles","institution_ids":["https://openalex.org/I4387154672"]},{"raw_affiliation_string":"University of Mons [Belgium]","institution_ids":["https://openalex.org/I130929987"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.1297,"has_fulltext":true,"cited_by_count":18,"citation_normalized_percentile":{"value":0.8838406,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"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/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9901999831199646,"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.9865999817848206,"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.6625118255615234},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6433695554733276},{"id":"https://openalex.org/keywords/preference","display_name":"Preference","score":0.6391397714614868},{"id":"https://openalex.org/keywords/corollary","display_name":"Corollary","score":0.6038198471069336},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5537692308425903},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.5176363587379456},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5053682923316956},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.47885629534721375},{"id":"https://openalex.org/keywords/game-theory","display_name":"Game theory","score":0.4407816529273987},{"id":"https://openalex.org/keywords/stackelberg-competition","display_name":"Stackelberg competition","score":0.43212565779685974},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.41501182317733765},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2715596854686737},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26114004850387573},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.17604392766952515},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.0995040237903595}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6625118255615234},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6433695554733276},{"id":"https://openalex.org/C2781249084","wikidata":"https://www.wikidata.org/wiki/Q908656","display_name":"Preference","level":2,"score":0.6391397714614868},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.6038198471069336},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5537692308425903},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.5176363587379456},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5053682923316956},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.47885629534721375},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.4407816529273987},{"id":"https://openalex.org/C199510392","wikidata":"https://www.wikidata.org/wiki/Q1184602","display_name":"Stackelberg competition","level":2,"score":0.43212565779685974},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.41501182317733765},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2715596854686737},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26114004850387573},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.17604392766952515},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0995040237903595},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","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},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.46298/lmcs-18(1:11)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(1:11)2022","pdf_url":"https://lmcs.episciences.org/8963/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.03894","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2001.03894","pdf_url":"https://arxiv.org/pdf/2001.03894","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":null,"raw_type":"text"},{"id":"pmh:oai:orbi.umons.ac.be:20.500.12907/43063","is_oa":true,"landing_page_url":"https://orbi.umons.ac.be/handle/20.500.12907/43063","pdf_url":"https://orbi.umons.ac.be/bitstream/20.500.12907/43063/1/2001.03894.pdf","source":{"id":"https://openalex.org/S7407055454","display_name":"ORBi UMONS","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 18 (1) (2022)","raw_type":"peer reviewed"},{"id":"pmh:oai:HAL:hal-03807547v1","is_oa":false,"landing_page_url":"https://centralesupelec.hal.science/hal-03807547","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:11)2022⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:c49da1dd2b4c42db88563c7cb050ce6b","is_oa":true,"landing_page_url":"https://doaj.org/article/c49da1dd2b4c42db88563c7cb050ce6b","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 (2022)","raw_type":"article"},{"id":"doi:10.4230/lipics.concur.2020.24","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.concur.2020.24","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"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","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"doi:10.46298/lmcs-18(1:11)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(1:11)2022","pdf_url":"https://lmcs.episciences.org/8963/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":[{"id":"https://metadata.un.org/sdg/7","score":0.5199999809265137,"display_name":"Affordable and clean energy"}],"awards":[{"id":"https://openalex.org/G1016650509","display_name":null,"funder_award_id":"F.4520.18","funder_id":"https://openalex.org/F4320321390","funder_display_name":"Fonds De La Recherche Scientifique - FNRS"},{"id":"https://openalex.org/G6745276726","display_name":null,"funder_award_id":"F.4520","funder_id":"https://openalex.org/F4320321390","funder_display_name":"Fonds De La Recherche Scientifique - FNRS"}],"funders":[{"id":"https://openalex.org/F4320321390","display_name":"Fonds De La Recherche Scientifique - FNRS","ror":"https://ror.org/03q83t159"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3021509961.pdf","grobid_xml":"https://content.openalex.org/works/W3021509961.grobid-xml"},"referenced_works_count":46,"referenced_works":["https://openalex.org/W1091982525","https://openalex.org/W1491970027","https://openalex.org/W1494279436","https://openalex.org/W1508088786","https://openalex.org/W1521551618","https://openalex.org/W1549870311","https://openalex.org/W1562671620","https://openalex.org/W1569758148","https://openalex.org/W1569998753","https://openalex.org/W1582530007","https://openalex.org/W1622764697","https://openalex.org/W1636658058","https://openalex.org/W1902461641","https://openalex.org/W1902601809","https://openalex.org/W1971499713","https://openalex.org/W1981015644","https://openalex.org/W2015287249","https://openalex.org/W2060375000","https://openalex.org/W2096608485","https://openalex.org/W2109100253","https://openalex.org/W2142133061","https://openalex.org/W2152165272","https://openalex.org/W2163151383","https://openalex.org/W2218268032","https://openalex.org/W2414445996","https://openalex.org/W2546285752","https://openalex.org/W2555847713","https://openalex.org/W2785504350","https://openalex.org/W2803455449","https://openalex.org/W2949977728","https://openalex.org/W2963055215","https://openalex.org/W2963160102","https://openalex.org/W2963607100","https://openalex.org/W2964021571","https://openalex.org/W2964269976","https://openalex.org/W2970019760","https://openalex.org/W3016295497","https://openalex.org/W3021509961","https://openalex.org/W3100946251","https://openalex.org/W3105652027","https://openalex.org/W3164409702","https://openalex.org/W3202621629","https://openalex.org/W4285719527","https://openalex.org/W4286911732","https://openalex.org/W4287172930","https://openalex.org/W4315691002"],"related_works":["https://openalex.org/W2376029318","https://openalex.org/W2388301251","https://openalex.org/W2013770701","https://openalex.org/W1987562536","https://openalex.org/W4383533535","https://openalex.org/W2065547689","https://openalex.org/W2605497830","https://openalex.org/W3169439878","https://openalex.org/W2062756478","https://openalex.org/W2948291551"],"abstract_inverted_index":{"For":[0],"decades,":[1],"two-player":[2,224],"(antagonistic)":[3],"games":[4,125],"on":[5,53],"graphs":[6],"have":[7,120,208],"been":[8],"a":[9,39,46,89,167],"framework":[10,97],"of":[11,42,92,148,151,170,184,201,231,245],"choice":[12],"for":[13,38,64,80,109],"many":[14],"important":[15],"problems":[16],"in":[17,45,212,222],"theoretical":[18],"computer":[19],"science.":[20],"A":[21],"notorious":[22],"one":[23],"is":[24,138,218],"controller":[25],"synthesis,":[26],"which":[27,77],"can":[28],"be":[29,59],"rephrased":[30],"through":[31],"the":[32,36,43,54,113,122,145,149,182,189,220,229,237,243,259,262],"game-theoretic":[33],"metaphor":[34],"as":[35],"quest":[37],"winning":[40],"strategy":[41],"system":[44],"game":[47,102],"against":[48],"its":[49],"antagonistic":[50],"environment.":[51],"Depending":[52],"specification,":[55],"optimal":[56,107,157,175,209],"strategies":[57,108,158,176,211],"might":[58],"simple":[60,81],"or":[61,128,135],"quite":[62],"complex,":[63],"example":[65],"having":[66],"to":[67,75,98,188,197,236,261],"use":[68],"(possibly":[69],"infinite)":[70],"memory.":[71],"Hence,":[72],"research":[73],"strives":[74],"understand":[76],"settings":[78],"allow":[79],"strategies.":[82],"In":[83,112,162],"2005,":[84],"Gimbert":[85,185],"and":[86,101,186,253,257],"Zielonka":[87,187],"provided":[88],"complete":[90,168],"characterization":[91,169],"preference":[93,152,171],"relations":[94,153,172],"(a":[95],"formal":[96],"model":[99],"specifications":[100],"objectives)":[103],"that":[104,154,173],"admit":[105,155,174],"memoryless":[106],"both":[110,206],"players.":[111],"last":[114],"fifteen":[115],"years":[116],"however,":[117],"practical":[118,203],"applications":[119],"driven":[121],"community":[123],"toward":[124],"with":[126,234],"complex":[127],"multiple":[129,249,266],"objectives,":[130,251],"where":[131],"memory":[132,247],"--":[133,137],"finite":[134,179],"infinite":[136],"almost":[139],"always":[140],"required.":[141],"Despite":[142],"much":[143],"effort,":[144],"exact":[146],"frontiers":[147],"class":[150],"finite-memory":[156,190],"still":[159],"elude":[160],"us.":[161],"this":[163],"work,":[164],"we":[165,227],"establish":[166],"using":[177],"arena-independent":[178,246],"memory,":[180],"generalizing":[181],"work":[183,240],"case.":[191],"We":[192],"also":[193,219],"prove":[194],"an":[195],"equivalent":[196],"their":[198],"celebrated":[199],"corollary":[200],"great":[202],"interest:":[204],"if":[205],"players":[207],"(arena-independent-)finite-memory":[210],"all":[213,223],"one-player":[214],"games,":[215],"then":[216],"it":[217],"case":[221,244,264],"games.":[225],"Finally,":[226],"pinpoint":[228],"boundaries":[230],"our":[232,239],"results":[233],"regard":[235],"literature:":[238],"completely":[241],"covers":[242],"(e.g.,":[248,265],"parity":[250],"lower-":[252],"upper-bounded":[254],"energy":[255,268],"objectives),":[256],"paves":[258],"way":[260],"arena-dependent":[263],"lower-bounded":[267],"objectives).":[269]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}