{"id":"https://openalex.org/W4393954376","doi":"https://doi.org/10.1007/978-3-031-57228-9_5","title":"Parity Games on Temporal Graphs","display_name":"Parity Games on Temporal Graphs","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4393954376","doi":"https://doi.org/10.1007/978-3-031-57228-9_5"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-57228-9_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57228-9_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57228-9_5.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-57228-9_5.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093104465","display_name":"Pete Austin","orcid":"https://orcid.org/0000-0003-0238-8662"},"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"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Pete Austin","raw_affiliation_strings":["University of Liverpool, Liverpool, UK"],"raw_orcid":"https://orcid.org/0000-0003-0238-8662","affiliations":[{"raw_affiliation_string":"University of Liverpool, Liverpool, UK","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004478118","display_name":"Sougata Bose","orcid":"https://orcid.org/0000-0003-3662-3915"},"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"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sougata Bose","raw_affiliation_strings":["University of Liverpool, Liverpool, UK"],"raw_orcid":"https://orcid.org/0000-0003-3662-3915","affiliations":[{"raw_affiliation_string":"University of Liverpool, Liverpool, UK","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060577776","display_name":"Patrick Totzke","orcid":"https://orcid.org/0000-0001-5274-8190"},"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"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Patrick Totzke","raw_affiliation_strings":["University of Liverpool, Liverpool, UK"],"raw_orcid":"https://orcid.org/0000-0001-5274-8190","affiliations":[{"raw_affiliation_string":"University of Liverpool, Liverpool, UK","institution_ids":["https://openalex.org/I146655781"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5093104465"],"corresponding_institution_ids":["https://openalex.org/I146655781"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.6438,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.56669193,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"79","last_page":"98"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"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.9987000226974487,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.998199999332428,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9940000176429749,"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.7751367092132568},{"id":"https://openalex.org/keywords/parity","display_name":"Parity (physics)","score":0.4978482723236084},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3924139142036438},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06179177761077881},{"id":"https://openalex.org/keywords/particle-physics","display_name":"Particle physics","score":0.04152223467826843}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7751367092132568},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.4978482723236084},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3924139142036438},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06179177761077881},{"id":"https://openalex.org/C109214941","wikidata":"https://www.wikidata.org/wiki/Q18334","display_name":"Particle physics","level":1,"score":0.04152223467826843}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-57228-9_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57228-9_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57228-9_5.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-57228-9_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57228-9_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57228-9_5.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/G1928332608","display_name":"COSTRA -- The Cost of Winning Strategies","funder_award_id":"EP/V025848/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4497834054","display_name":null,"funder_award_id":"EP/X042596/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5009292347","display_name":null,"funder_award_id":"EP/V025848/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4393954376.pdf","grobid_xml":"https://content.openalex.org/works/W4393954376.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W355401516","https://openalex.org/W1531106060","https://openalex.org/W1532359370","https://openalex.org/W1641860851","https://openalex.org/W1881841366","https://openalex.org/W1918603512","https://openalex.org/W1971499713","https://openalex.org/W1980351200","https://openalex.org/W1983815693","https://openalex.org/W1999507562","https://openalex.org/W2016206563","https://openalex.org/W2023808162","https://openalex.org/W2031848583","https://openalex.org/W2050426366","https://openalex.org/W2101508170","https://openalex.org/W2107783208","https://openalex.org/W2120741723","https://openalex.org/W2142133061","https://openalex.org/W2142302828","https://openalex.org/W2144965436","https://openalex.org/W2586521831","https://openalex.org/W2888796762","https://openalex.org/W2931271882","https://openalex.org/W2949263370","https://openalex.org/W2963993884","https://openalex.org/W3140257771","https://openalex.org/W3155128388","https://openalex.org/W4237347223","https://openalex.org/W4241108585","https://openalex.org/W4368363101","https://openalex.org/W4377971988","https://openalex.org/W6966472310"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2472109360"],"abstract_inverted_index":{"Abstract":[0],"Temporal":[1],"graphs":[2,15,53,73],"are":[3],"a":[4,63,122],"popular":[5],"modelling":[6],"mechanism":[7],"for":[8,103,151,156],"dynamic":[9],"complex":[10],"systems":[11],"that":[12,67,134],"extend":[13],"ordinary":[14],"with":[16,34],"discrete":[17],"time.":[18,35,128],"Simply":[19],"put,":[20],"time":[21],"progresses":[22],"one":[23,114,152],"unit":[24],"per":[25],"step":[26],"and":[27,61,147,154],"the":[28,38,55,85,119,142,157,160],"availability":[29,57],"of":[30,40,162],"edges":[31],"can":[32],"change":[33],"We":[36,65,129],"consider":[37],"complexity":[39,161],"solving":[41,68,163],"$$\\omega":[42],"$$":[43],"<mml:math":[44,78,92],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[45,79,93],"<mml:mi>\u03c9</mml:mi>":[46],"</mml:math>":[47,81,95],"-regular":[48],"games":[49,70,109,164],"played":[50],"on":[51,71,110],"temporal":[52,72],"where":[54,113],"edge":[56,86,143],"is":[58,74,89,145,148,165],"ultimately":[59],"periodic":[60],"fixed":[62],"priori.":[64],"show":[66],"parity":[69],"decidable":[75],"in":[76,90,127,146],"$$\\textsf{PSPACE}$$":[77,91],"<mml:mi>PSPACE</mml:mi>":[80,94],",":[82],"only":[83,166],"assuming":[84],"predicate":[87,144],"itself":[88],".":[96],"A":[97],"matching":[98],"lower":[99],"bound":[100],"already":[101],"holds":[102],"what":[104],"we":[105],"call":[106],"punctual":[107],"reachability":[108],"static":[111,171],"graphs,":[112],"player":[115,153],"wants":[116],"to":[117,170],"reach":[118],"target":[120],"at":[121],"given,":[123],"binary":[124],"encoded,":[125],"point":[126],"further":[130],"study":[131],"syntactic":[132],"restrictions":[133],"imply":[135],"more":[136],"efficient":[137],"procedures.":[138],"In":[139],"particular,":[140],"if":[141],"monotonically":[149],"increasing":[150],"decreasing":[155],"other,":[158],"then":[159],"polynomially":[167],"increased":[168],"compared":[169],"graphs.":[172]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}
