{"id":"https://openalex.org/W4366723281","doi":"https://doi.org/10.1007/978-3-031-30823-9_34","title":"A Matrix-Based Approach to Parity Games","display_name":"A Matrix-Based Approach to Parity Games","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4366723281","doi":"https://doi.org/10.1007/978-3-031-30823-9_34"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-30823-9_34","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30823-9_34","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30823-9_34.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-30823-9_34.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023009110","display_name":"Saksham Aggarwal","orcid":null},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Saksham Aggarwal","raw_affiliation_strings":["Faculty of Information Technology, Monash University, Melbourne, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Monash University, Melbourne, Australia","institution_ids":["https://openalex.org/I56590836"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090079228","display_name":"Alejandro Stuckey de la Banda","orcid":null},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Alejandro Stuckey de la Banda","raw_affiliation_strings":["Faculty of Information Technology, Monash University, Melbourne, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Monash University, Melbourne, Australia","institution_ids":["https://openalex.org/I56590836"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101015366","display_name":"Luke Yang","orcid":null},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Luke Yang","raw_affiliation_strings":["Faculty of Information Technology, Monash University, Melbourne, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Monash University, Melbourne, Australia","institution_ids":["https://openalex.org/I56590836"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007740136","display_name":"Juli\u00e1n Guti\u00e9rrez","orcid":"https://orcid.org/0000-0002-1091-8232"},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Julian Gutierrez","raw_affiliation_strings":["Faculty of Information Technology, Monash University, Melbourne, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Monash University, Melbourne, Australia","institution_ids":["https://openalex.org/I56590836"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5007740136"],"corresponding_institution_ids":["https://openalex.org/I56590836"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"666","last_page":"683"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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.9973000288009644,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.772464394569397},{"id":"https://openalex.org/keywords/parity","display_name":"Parity (physics)","score":0.5070035457611084},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3632744550704956},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3503827452659607}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.772464394569397},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.5070035457611084},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3632744550704956},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3503827452659607},{"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/978-3-031-30823-9_34","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30823-9_34","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30823-9_34.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"},{"id":"pmh:oai:monash.edu:publications/f493a5cc-647d-4813-af22-8b9db12e576d","is_oa":true,"landing_page_url":"https://research.monash.edu/en/publications/f493a5cc-647d-4813-af22-8b9db12e576d","pdf_url":"https://researchmgt.monash.edu/ws/files/468513046/468512492_oa.pdf","source":{"id":"https://openalex.org/S4306402625","display_name":"Monash University Research Portal (Monash University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I56590836","host_organization_name":"Monash University","host_organization_lineage":["https://openalex.org/I56590836"],"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":"Aggarwal, S, Stuckey De La Banda, A, Yang, L & Gutierrez, J 2023, A matrix-based approach to parity games. in S Sankaranarayanan & N Sharygina (eds), Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Paris, France, April 22\u201327, 2023 Proceedings, Part I. Lecture Notes in Computer Science, vol. 13993, Springer, Cham Switzerland, pp. 666\u2013683, Tools and Algorithms for the Construction and Analysis of Systems 2023, Paris, France, 22/04/23. https://doi.org/10.1007/978-3-031-30823-9_34","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:figshare.com:article/29275220","is_oa":true,"landing_page_url":"https://figshare.com/articles/conference_contribution/A_matrix-based_approach_to_parity_games/29275220","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"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":"Conference contribution"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-30823-9_34","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30823-9_34","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30823-9_34.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":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4366723281.pdf"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W187060626","https://openalex.org/W246400581","https://openalex.org/W2060375000","https://openalex.org/W2142133061","https://openalex.org/W2168360220","https://openalex.org/W2285902464","https://openalex.org/W2783006893","https://openalex.org/W2791055336","https://openalex.org/W2999201158","https://openalex.org/W3092524882","https://openalex.org/W3099232266","https://openalex.org/W3138798301","https://openalex.org/W3155128388","https://openalex.org/W4248784701"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Abstract":[0],"Parity":[1],"games":[2,6,68,84,99,146,151,175],"are":[3],"two-player":[4],"zero-sum":[5],"of":[7,66,105,110,120,144,166],"infinite":[8],"duration":[9],"played":[10],"on":[11],"finite":[12],"graphs":[13],"for":[14],"which":[15],"no":[16],"solution":[17],"in":[18,56,60,176],"polynomial":[19],"time":[20],"is":[21,28],"still":[22],"known.":[23],"Solving":[24],"a":[25,93,106,117,128],"parity":[26,67,83,98,150,174],"game":[27],"an":[29],"$$\\text{":[30],"NP":[31],"}\\cap":[32],"\\text{":[33],"co-NP":[34],"}$$":[35],"<mml:math":[36],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[37],"<mml:mrow>":[38],"<mml:mspace/>":[39,41,43,45],"<mml:mtext>NP</mml:mtext>":[40],"<mml:mo>\u2229</mml:mo>":[42],"<mml:mtext>co-NP</mml:mtext>":[44],"</mml:mrow>":[46],"</mml:math>":[47],"problem,":[48],"with":[49],"the":[50,57,64,102,111,134,162,167],"best":[51,168],"worst-case":[52],"complexity":[53,164],"algorithms":[54],"available":[55],"literature":[58],"running":[59],"quasi-polynomial":[61],"time.":[62],"Given":[63],"importance":[65],"within":[69],"automated":[70],"formal":[71],"verification,":[72],"several":[73],"practical":[74],"solutions":[75],"have":[76],"been":[77],"explored":[78],"showing":[79],"that":[80,116,157],"considerably":[81],"large":[82,173],"can":[85],"be":[86],"solved":[87],"somewhat":[88],"efficiently.":[89],"Here,":[90],"we":[91],"propose":[92],"new":[94],"approach":[95,122,160],"to":[96,171],"solving":[97],"guided":[100],"by":[101],"efficient":[103],"manipulation":[104],"suitable":[107],"matrix-based":[108,159],"representation":[109],"games.":[112],"Our":[113,138],"results":[114],"show":[115,156],"sequential":[118],"implementation":[119,130],"our":[121,158],"offers":[123],"very":[124],"competitive":[125],"performance,":[126],"while":[127],"parallel":[129],"using":[131],"GPUs":[132],"outperforms":[133],"current":[135],"state-of-the-art":[136],"techniques.":[137],"study":[139],"considers":[140],"both":[141],"real-world":[142],"benchmarks":[143],"structured":[145],"as":[147,149],"well":[148],"randomly":[152],"generated.":[153],"We":[154],"also":[155],"retains":[161],"optimal":[163],"bounds":[165],"recursive":[169],"algorithm":[170],"solve":[172],"practice.":[177]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}