{"id":"https://openalex.org/W2467498620","doi":"https://doi.org/10.5555/2936924.2937026","title":"Concurrent Multi-Player Parity Games","display_name":"Concurrent Multi-Player Parity Games","publication_year":2016,"publication_date":"2016-05-09","ids":{"openalex":"https://openalex.org/W2467498620","doi":"https://doi.org/10.5555/2936924.2937026","mag":"2467498620"},"language":"en","primary_location":{"id":"mag:2467498620","doi":"https://doi.org/10.5555/2936924.2937026","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/atal/aamas2016.html#MalvoneMS16","pdf_url":null,"source":{"id":"https://openalex.org/S4306417597","display_name":"Adaptive Agents and Multi-Agents Systems","issn_l":"1548-8403","issn":["1548-8403"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["norway-1"],"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":false,"raw_source_name":"Adaptive Agents and Multi-Agents Systems","raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026864209","display_name":"Vadim Malvone","orcid":"https://orcid.org/0000-0001-6138-4229","observed_orcids":["https://orcid.org/0000-0001-6138-4229"]},"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":"Vadim Malvone","raw_affiliation_strings":["Universit\u00e0 degli Studi di Napoli Federico II  Napoli Italy"],"raw_orcid":"https://orcid.org/0000-0001-6138-4229","affiliations":[{"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","observed_orcids":["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 Federico II  Napoli Italy"],"raw_orcid":"https://orcid.org/0000-0003-4876-3448","affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli Federico II  Napoli Italy","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108700439","display_name":"Loredana Sorrentino","orcid":null,"observed_orcids":[]},"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":"Loredana Sorrentino","raw_affiliation_strings":["Universit\u00e0 degli Studi di Napoli Federico II  Napoli Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli Federico II  Napoli Italy","institution_ids":["https://openalex.org/I71267560"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I71267560"],"apc_list":null,"apc_paid":null,"fwci":0.6483,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.66858392,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"689","last_page":"697"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8794000148773193,"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.8794000148773193,"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/T11567","display_name":"semigroups and automata theory","score":0.0738999992609024,"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/T11031","display_name":"Game Theory and Applications","score":0.008899999782443047,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/parity-games","display_name":"parity games","score":0.7950000166893005},{"id":"https://openalex.org/keywords/pspace-complexity","display_name":"PSPACE complexity","score":0.5899999737739563},{"id":"https://openalex.org/keywords/pspace-hardness","display_name":"PSPACE-hardness","score":0.9610000252723694},{"id":"https://openalex.org/keywords/polynomial-time-algorithms","display_name":"polynomial-time algorithms","score":0.47099998593330383}],"concepts":[{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.836082935333252},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5994993448257446},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5189311504364014},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.5087490677833557},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.4725610613822937},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.47143876552581787},{"id":"https://openalex.org/C102234262","wikidata":"https://www.wikidata.org/wiki/Q1320931","display_name":"Combinatorial game theory","level":4,"score":0.42431437969207764},{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.4148613512516022},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3801576495170593},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.37562304735183716},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3698136806488037},{"id":"https://openalex.org/C73795354","wikidata":"https://www.wikidata.org/wiki/Q287618","display_name":"Sequential game","level":3,"score":0.3062704801559448},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26725611090660095},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.2632082402706146},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.11497420072555542},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10825097560882568},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C109214941","wikidata":"https://www.wikidata.org/wiki/Q18334","display_name":"Particle physics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2467498620","doi":"https://doi.org/10.5555/2936924.2937026","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/atal/aamas2016.html#MalvoneMS16","pdf_url":null,"source":{"id":"https://openalex.org/S4306417597","display_name":"Adaptive Agents and Multi-Agents Systems","issn_l":"1548-8403","issn":["1548-8403"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["norway-1"],"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":false,"raw_source_name":"Adaptive Agents and Multi-Agents Systems","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W187060626","https://openalex.org/W246400581","https://openalex.org/W824553004","https://openalex.org/W1481074184","https://openalex.org/W1505081061","https://openalex.org/W1521551618","https://openalex.org/W1526785305","https://openalex.org/W1535051955","https://openalex.org/W1546220007","https://openalex.org/W1588784669","https://openalex.org/W1590315663","https://openalex.org/W1594823235","https://openalex.org/W1787590041","https://openalex.org/W1988808695","https://openalex.org/W2005684815","https://openalex.org/W2017076220","https://openalex.org/W2029583849","https://openalex.org/W2038680194","https://openalex.org/W2042796301","https://openalex.org/W2047201474","https://openalex.org/W2048905609","https://openalex.org/W2060375000","https://openalex.org/W2092043492","https://openalex.org/W2096272173","https://openalex.org/W2108947407","https://openalex.org/W2142133061","https://openalex.org/W2158026954","https://openalex.org/W2158437920","https://openalex.org/W2160041605","https://openalex.org/W2163151383","https://openalex.org/W2165040865","https://openalex.org/W2168360220","https://openalex.org/W2179217959","https://openalex.org/W2203774400","https://openalex.org/W2253667164","https://openalex.org/W2288787028","https://openalex.org/W2340735175","https://openalex.org/W2590154423","https://openalex.org/W2912248071","https://openalex.org/W2913210435"],"related_works":["https://openalex.org/W2982620260","https://openalex.org/W3155128388","https://openalex.org/W2099814282","https://openalex.org/W2184756528","https://openalex.org/W2791055336","https://openalex.org/W2972736415","https://openalex.org/W2999142485","https://openalex.org/W1854018919","https://openalex.org/W4366723281","https://openalex.org/W818812269"],"abstract_inverted_index":{"Parity":[0],"games":[1,90,140],"are":[2,31],"a":[3,37,61,66,170],"powerful":[4],"framework":[5],"widely":[6],"used":[7],"to":[8],"address":[9,146],"fundamental":[10],"questions":[11],"in":[12,42,45,53,74,142],"computer":[13],"science.":[14],"In":[15],"the":[16,46,49,54,75,92,113,126,135,147,153,164,173],"basic":[17],"setting":[18],"they":[19],"consist":[20],"of":[21,48,56,112,137,155],"two-player":[22],"turn-based":[23],"games,":[24],"played":[25],"on":[26],"directed":[27],"graphs,":[28],"whose":[29],"nodes":[30],"labeled":[32],"with":[33],"priorities.":[34],"Solving":[35],"such":[36,139],"game":[38],"can":[39],"be":[40],"done":[41],"time":[43],"exponential":[44],"number":[47,55],"priorities":[50],"(and":[51],"polynomial":[52],"states)":[57],"and":[58,84,96,101,150],"it":[59],"is":[60,141,158,166],"long-standing":[62],"open":[63],"question":[64],"whether":[65],"polynomial-time":[67],"algorithm":[68,124,157],"exists.":[69],"Precisely":[70],"this":[71,80],"problem":[72,136,165],"resides":[73],"class":[76],"UP":[77],"\u2229":[78],"co-UP.In":[79],"paper":[81],"we":[82,107,119,132,161],"introduce":[83,120],"solve":[85],"efficiently":[86],"concurrent":[87],"multi-player":[88],"parity":[89],"where":[91],"players,":[93],"being":[94],"existential":[95],"universal,":[97],"compete":[98],"under":[99],"fixed":[100],"strict":[102],"alternate":[103],"coalitions.":[104],"The":[105],"solution":[106],"provide":[108],"uses":[109],"an":[110,121],"extension":[111],"classic":[114],"Zielonka":[115],"Recursive":[116],"Algorithm.":[117],"Precisely,":[118],"ad":[122],"hoc":[123],"for":[125],"attractor":[127],"subroutine.":[128],"Directly":[129],"from":[130,172],"this,":[131],"derive":[133],"that":[134,152,163],"solving":[138],"PSpace.":[143],"We":[144],"also":[145],"lower":[148],"bound":[149],"show":[151,162],"complexity":[154],"our":[156],"tight,":[159],"i.e.":[160],"PSpace-hard":[167],"by":[168],"providing":[169],"reduction":[171],"QBF":[174],"satisfiability":[175],"problem.":[176]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-07-22T00:00:00"}