{"id":"https://openalex.org/W1490729071","doi":"https://doi.org/10.4230/lipics.fsttcs.2008.1768","title":"Banach-Mazur Games on Graphs","display_name":"Banach-Mazur Games on Graphs","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W1490729071","doi":"https://doi.org/10.4230/lipics.fsttcs.2008.1768","mag":"1490729071"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:1768","is_oa":false,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2008.1768","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.4230/lipics.fsttcs.2008.1768","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073586884","display_name":"Erich Graedel","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Graedel, Erich","raw_affiliation_strings":["[Rwth Aachen University]"],"affiliations":[{"raw_affiliation_string":"[Rwth Aachen University]","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5073586884"],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":null,"apc_paid":null,"fwci":0.4005,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.63531804,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"2","issue":null,"first_page":"364","last_page":"382"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","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/T11567","display_name":"semigroups and automata theory","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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9961000084877014,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9925000071525574,"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/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.6036313772201538},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.500300407409668},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4683895409107208},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4062159061431885}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.6036313772201538},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.500300407409668},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4683895409107208},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4062159061431885}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:1768","is_oa":false,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2008.1768","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},{"id":"doi:10.4230/lipics.fsttcs.2008.1768","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fsttcs.2008.1768","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""},{"id":"mag:1490729071","is_oa":false,"landing_page_url":"https://logic.rwth-aachen.de/~graedel/bruxelles.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306418453","display_name":"Foundations of Software Technology and Theoretical Computer Science","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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Foundations of Software Technology and Theoretical Computer Science","raw_type":null}],"best_oa_location":{"id":"doi:10.4230/lipics.fsttcs.2008.1768","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fsttcs.2008.1768","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":""},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W61142406","https://openalex.org/W612740589","https://openalex.org/W1496392897","https://openalex.org/W1539382740","https://openalex.org/W1582530007","https://openalex.org/W1591239571","https://openalex.org/W1755189310","https://openalex.org/W1970999740","https://openalex.org/W2060375000","https://openalex.org/W2061536606","https://openalex.org/W2098000194","https://openalex.org/W2113800199","https://openalex.org/W2121753585","https://openalex.org/W2123384876","https://openalex.org/W2154800923","https://openalex.org/W2158212536","https://openalex.org/W2170933628","https://openalex.org/W2478289388","https://openalex.org/W2494787995","https://openalex.org/W2497040858","https://openalex.org/W3037477934","https://openalex.org/W3101910935"],"related_works":["https://openalex.org/W2120885238","https://openalex.org/W1969140772","https://openalex.org/W1501718049","https://openalex.org/W3101910935","https://openalex.org/W1890835473","https://openalex.org/W2547977190","https://openalex.org/W1582530007","https://openalex.org/W2060155289","https://openalex.org/W2249333371","https://openalex.org/W1971138850","https://openalex.org/W1607296857","https://openalex.org/W2963160102","https://openalex.org/W2897115502","https://openalex.org/W2157409145","https://openalex.org/W3122689862","https://openalex.org/W2464071615","https://openalex.org/W2144338279","https://openalex.org/W2240543079","https://openalex.org/W2951331267","https://openalex.org/W2991018442"],"abstract_inverted_index":{"We":[0],"survey":[1],"determinacy,":[2],"definability,":[3],"and":[4,12,44,155,157,186,213,231],"complexity":[5],"issues":[6],"of":[7,42,54,62,96,110,126,181,190],"Banach-Mazur":[8,85,145,197,220,236],"games":[9,16,86,146,198,221,237],"on":[10],"finite":[11,98,235],"infinite":[13,34,115,127],"graphs.":[14],"Infinite":[15],"where":[17],"two":[18],"players":[19,56,88],"take":[20],"turns":[21,194],"to":[22,80,163],"move":[23,67,93],"a":[24,27,68,81,94,111,124,134,148],"token":[25,72],"through":[26],"directed":[28],"graph,":[29],"thus":[30,121],"tracing":[31],"out":[32,195],"an":[33,78,103,114],"path,":[35],"have":[36,147,159,164,227],"numerous":[37],"applications":[38,166],"in":[39,65,91,151,168,175,183,244],"different":[40],"branches":[41],"mathematics":[43],"computer":[45,169],"science.":[46],"In":[47,84,105],"the":[48,51,55,60,63,71,87,108,179,188,203],"usual":[49,204],"format,":[50],"possible":[52],"moves":[53],"are":[57,242],"given":[58,122],"by":[59,123,133],"edges":[61],"graph;":[64],"each":[66,92],"player":[69],"takes":[70],"from":[73,139],"its":[74],"current":[75],"position":[76],"along":[77],"edge":[79],"next":[82],"position.":[83],"instead":[89],"select":[90],"\\emph{path}":[95],"arbitrary":[97],"length":[99],"rather":[100],"than":[101,202],"just":[102],"edge.":[104],"both":[106],"cases":[107],"outcome":[109],"play":[112],"is":[113,120,130],"path.":[116],"A":[117],"winning":[118,211,224,229,232,240],"condition":[119,241],"set":[125,153],"paths":[128],"which":[129],"often":[131],"specified":[132],"logical":[135],"formula,":[136],"for":[137,171,173,178,187,234],"instance":[138,172],"S1S,":[140],"LTL,":[141],"or":[142],"first-order":[143],"logic.":[144],"long":[149],"tradition":[150],"descriptive":[152],"theory":[154],"topology,":[156],"they":[158,208],"recently":[160],"been":[161],"shown":[162],"interesting":[165],"also":[167],"science,":[170],"planning":[174],"nondeterministic":[176],"domains,":[177],"study":[180],"fairness":[182],"concurrent":[184],"systems,":[185],"semantics":[189],"timed":[191],"automata.":[192],"It":[193],"that":[196],"behave":[199],"quite":[200],"differently":[201],"graph":[205],"games.":[206],"Often":[207],"admit":[209],"simpler":[210],"strategies":[212],"more":[214],"efficient":[215],"algorithmic":[216],"solutions.":[217],"For":[218],"instance,":[219],"with":[222,238],"$\\omega$-regular":[223],"conditions":[225],"always":[226],"positional":[228],"strategies,":[230],"positions":[233],"Muller":[239],"computable":[243],"polynomial":[245],"time.":[246]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}