{"id":"https://openalex.org/W3123479446","doi":"https://doi.org/10.1007/s10472-020-09721-3","title":"Improving parity games in practice","display_name":"Improving parity games in practice","publication_year":2021,"publication_date":"2021-01-23","ids":{"openalex":"https://openalex.org/W3123479446","doi":"https://doi.org/10.1007/s10472-020-09721-3","mag":"3123479446"},"language":"en","primary_location":{"id":"doi:10.1007/s10472-020-09721-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10472-020-09721-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10472-020-09721-3.pdf","source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10472-020-09721-3.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055798827","display_name":"Antonio Di Stasio","orcid":"https://orcid.org/0000-0001-5475-2978"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Antonio Di Stasio","raw_affiliation_strings":["Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Rome, Italy"],"raw_orcid":"https://orcid.org/0000-0001-5475-2978","affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Rome, Italy","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055415505","display_name":"Aniello Murano","orcid":"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":null,"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/A5041145910","display_name":"Vincenzo Prignano","orcid":null},"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":"Vincenzo Prignano","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"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108700439","display_name":"Loredana Sorrentino","orcid":null},"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":2,"corresponding_author_ids":["https://openalex.org/A5055798827"],"corresponding_institution_ids":["https://openalex.org/I861853513"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.4343,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.646856,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"89","issue":"5-6","first_page":"551","last_page":"574"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9976000189781189,"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.9976000189781189,"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/T11574","display_name":"Artificial Intelligence in Games","score":0.9962999820709229,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9958999752998352,"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/parity","display_name":"Parity (physics)","score":0.8039232492446899},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6878194212913513},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6200101971626282},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5214518904685974},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3701055645942688},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3442128598690033}],"concepts":[{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.8039232492446899},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6878194212913513},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6200101971626282},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5214518904685974},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3701055645942688},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3442128598690033},{"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":3,"locations":[{"id":"doi:10.1007/s10472-020-09721-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10472-020-09721-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10472-020-09721-3.pdf","source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:openaccess.city.ac.uk:33973","is_oa":false,"landing_page_url":"https://openaccess.city.ac.uk/view/creators_id/antonio=2Edi-stasio.html>","pdf_url":null,"source":{"id":"https://openalex.org/S4306401940","display_name":"City Research Online (City University London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I180825142","host_organization_name":"City, University of London","host_organization_lineage":["https://openalex.org/I180825142"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:iris.uniroma1.it:11573/1486189","is_oa":true,"landing_page_url":"http://hdl.handle.net/11573/1486189","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","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","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s10472-020-09721-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10472-020-09721-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10472-020-09721-3.pdf","source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5024445057","display_name":null,"funder_award_id":"834228","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"}],"funders":[{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3123479446.pdf","grobid_xml":"https://content.openalex.org/works/W3123479446.grobid-xml"},"referenced_works_count":59,"referenced_works":["https://openalex.org/W29246692","https://openalex.org/W187060626","https://openalex.org/W246400581","https://openalex.org/W1481074184","https://openalex.org/W1495226832","https://openalex.org/W1505081061","https://openalex.org/W1510760005","https://openalex.org/W1514240489","https://openalex.org/W1521551618","https://openalex.org/W1526785305","https://openalex.org/W1532939744","https://openalex.org/W1560050980","https://openalex.org/W1564580204","https://openalex.org/W1590315663","https://openalex.org/W1593428110","https://openalex.org/W1745991775","https://openalex.org/W1857043531","https://openalex.org/W1971138850","https://openalex.org/W1988808695","https://openalex.org/W2015640848","https://openalex.org/W2017076220","https://openalex.org/W2038680194","https://openalex.org/W2038897371","https://openalex.org/W2060375000","https://openalex.org/W2085551634","https://openalex.org/W2096272173","https://openalex.org/W2133559308","https://openalex.org/W2142133061","https://openalex.org/W2145063062","https://openalex.org/W2158437920","https://openalex.org/W2163365446","https://openalex.org/W2168360220","https://openalex.org/W2170933628","https://openalex.org/W2253667164","https://openalex.org/W2285902464","https://openalex.org/W2340735175","https://openalex.org/W2467498620","https://openalex.org/W2494824293","https://openalex.org/W2500438899","https://openalex.org/W2505272136","https://openalex.org/W2586521831","https://openalex.org/W2593234065","https://openalex.org/W2621483956","https://openalex.org/W2783006893","https://openalex.org/W2791939657","https://openalex.org/W2795759756","https://openalex.org/W2796106051","https://openalex.org/W2799045007","https://openalex.org/W2809042564","https://openalex.org/W2810421936","https://openalex.org/W2913210435","https://openalex.org/W2950091953","https://openalex.org/W3033281991","https://openalex.org/W3099232266","https://openalex.org/W3102493341","https://openalex.org/W3102601952","https://openalex.org/W3103174681","https://openalex.org/W4285719527","https://openalex.org/W6629579983"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2472109360","https://openalex.org/W2749690376","https://openalex.org/W4281673905","https://openalex.org/W2786317006","https://openalex.org/W4367724653","https://openalex.org/W2544423928","https://openalex.org/W2788563018","https://openalex.org/W3042948800"],"abstract_inverted_index":{"Abstract":[0],"Parity":[1],"games":[2,6,49],"are":[3,13,144],"infinite-round":[4],"two-player":[5],"played":[7],"on":[8],"directed":[9],"graphs":[10],"whose":[11],"nodes":[12],"labeled":[14],"with":[15,89,100,116],"priorities.":[16],"The":[17],"winner":[18],"of":[19,92,96,113,119,151,160],"a":[20,57],"play":[21],"is":[22,32,71],"determined":[23],"by":[24,114],"the":[25,37,40,63,75,90,94,111,117,157,161],"smallest":[26],"priority":[27],"(even":[28],"or":[29],"odd)":[30],"that":[31,141],"encountered":[33],"infinitely":[34],"often":[35],"along":[36],"play.":[38],"In":[39,105],"last":[41],"two":[42],"decades,":[43],"several":[44,83],"algorithms":[45],"for":[46,68],"solving":[47],"parity":[48],"have":[50,85],"been":[51,86],"proposed":[52],"and":[53,123,134],"implemented":[54,163],"in":[55,60,97,103,153,164],",":[56,98,129,131,133],"platform":[58],"written":[59],"OCaml.":[61],"includes":[62],"Zielonka\u2019s":[64],"recursive":[65],"algorithm":[66,162],"(,":[67],"short)":[69],"which":[70],"known":[72],"to":[73,148],"be":[74],"best":[76],"performing":[77],"one":[78],"over":[79,156],"random":[80],"games.":[81],"Notably,":[82],"attempts":[84],"carried":[87],"out":[88],"aim":[91],"improving":[93],"performance":[95],"but":[99],"small":[101],"advances":[102],"practice.":[104],"this":[106],"work,":[107],"we":[108],"deeply":[109],"revisit":[110],"implementation":[112],"dealing":[115],"use":[118],"specific":[120],"data":[121],"structures":[122],"programming":[124],"languages":[125],"such":[126],"as":[127],"Scala":[128],"Java":[130],"C++":[132],"Go":[135],".":[136,165],"Our":[137],"empirical":[138],"evaluation":[139],"shows":[140],"these":[142],"choices":[143],"successful,":[145],"gaining":[146],"up":[147],"three":[149],"orders":[150],"magnitude":[152],"running":[154],"time":[155],"classic":[158],"version":[159]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}