{"id":"https://openalex.org/W2311027344","doi":"https://doi.org/10.1007/s00236-017-0301-x","title":"Parity game reductions","display_name":"Parity game reductions","publication_year":2017,"publication_date":"2017-08-04","ids":{"openalex":"https://openalex.org/W2311027344","doi":"https://doi.org/10.1007/s00236-017-0301-x","mag":"2311027344"},"language":"en","primary_location":{"id":"doi:10.1007/s00236-017-0301-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-017-0301-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-017-0301-x.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"Acta Informatica","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/s00236-017-0301-x.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025793961","display_name":"Sjoerd Cranen","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Sjoerd Cranen","raw_affiliation_strings":["Department of Computer Science and Mathematics, Eindhoven University of Technology, PO Box 513, 5600 MB, Eindhoven, The Netherlands","Department of Computer Science and Mathematics, Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Mathematics, Eindhoven University of Technology, PO Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Computer Science and Mathematics, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010819147","display_name":"Jeroen J. A. Keiren","orcid":"https://orcid.org/0000-0002-5772-9527"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]},{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jeroen J. A. Keiren","raw_affiliation_strings":["Faculty of Management, Science and Technology, Open University of the Netherlands, PO Box 2960, 6401 DL, Heerlen, The Netherlands","Institute for Computing and Information Sciences, Radboud University, Nijmegen, The Netherlands","Faculty of Management, Science and Technology, Open University of the Netherlands, Heerlen, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-5772-9527","affiliations":[{"raw_affiliation_string":"Faculty of Management, Science and Technology, Open University of the Netherlands, PO Box 2960, 6401 DL, Heerlen, The Netherlands","institution_ids":["https://openalex.org/I7876267"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Faculty of Management, Science and Technology, Open University of the Netherlands, Heerlen, The Netherlands","institution_ids":["https://openalex.org/I7876267"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042194099","display_name":"Tim A. C. Willemse","orcid":"https://orcid.org/0000-0003-3049-7962"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Tim A. C. Willemse","raw_affiliation_strings":["Department of Computer Science and Mathematics, Eindhoven University of Technology, PO Box 513, 5600 MB, Eindhoven, The Netherlands","Department of Computer Science and Mathematics, Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-3049-7962","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Mathematics, Eindhoven University of Technology, PO Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Computer Science and Mathematics, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5010819147"],"corresponding_institution_ids":["https://openalex.org/I145872427","https://openalex.org/I7876267"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":{"value":2990,"currency":"USD","value_usd":2990},"fwci":0.4252,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.61915019,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"55","issue":"5","first_page":"401","last_page":"444"},"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.9965999722480774,"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.9965000152587891,"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/bisimulation","display_name":"Bisimulation","score":0.8019511699676514},{"id":"https://openalex.org/keywords/parity","display_name":"Parity (physics)","score":0.727009654045105},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5658758878707886},{"id":"https://openalex.org/keywords/coinduction","display_name":"Coinduction","score":0.5532287955284119},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5527780652046204},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5277441143989563},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.49566376209259033},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4637836217880249},{"id":"https://openalex.org/keywords/quotient","display_name":"Quotient","score":0.45216667652130127},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3842456340789795},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3760335445404053},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3645186424255371},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.23203691840171814},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19458326697349548}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.8019511699676514},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.727009654045105},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5658758878707886},{"id":"https://openalex.org/C40220748","wikidata":"https://www.wikidata.org/wiki/Q4227156","display_name":"Coinduction","level":3,"score":0.5532287955284119},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5527780652046204},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5277441143989563},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.49566376209259033},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4637836217880249},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.45216667652130127},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3842456340789795},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3760335445404053},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3645186424255371},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.23203691840171814},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19458326697349548},{"id":"https://openalex.org/C109214941","wikidata":"https://www.wikidata.org/wiki/Q18334","display_name":"Particle physics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":12,"locations":[{"id":"doi:10.1007/s00236-017-0301-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-017-0301-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-017-0301-x.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"Acta Informatica","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire/621b840b-5d90-4646-b96a-19998e1649f1","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/621b840b-5d90-4646-b96a-19998e1649f1","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cranen, S, Keiren, J J A & Willemse, T A C 2018, 'Parity game reductions', Acta Informatica, vol. 55, no. 5, pp. 401-444. https://doi.org/10.1007/s00236-017-0301-x","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:research.ou.nl:publications/9ed7bda5-ef45-434c-82b8-5e3b12a21674","is_oa":true,"landing_page_url":"https://research.ou.nl/en/publications/9ed7bda5-ef45-434c-82b8-5e3b12a21674","pdf_url":null,"source":{"id":"https://openalex.org/S4306401002","display_name":"DSpace (Open University in the Netherlands)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I7876267","host_organization_name":"Open University of the Netherlands","host_organization_lineage":["https://openalex.org/I7876267"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cranen, S, Keiren, J J A & Willemse, T A C 2018, 'Parity game reductions', Acta Informatica, vol. 55, no. 5, pp. 401-444. https://doi.org/10.1007/s00236-017-0301-x","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:866579","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=866579","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:","raw_type":"Article / Letter to the editor"},{"id":"pmh:879984","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=879984","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:0001-5903","raw_type":"Article / Letter to the editor"},{"id":"pmh:881015","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=881015","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:","raw_type":"Article / Letter to the editor"},{"id":"pmh:oai:library.tue.nl:866579","is_oa":false,"landing_page_url":"http://repository.tue.nl/866579","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:","raw_type":"Article / Letter to the editor"},{"id":"pmh:oai:library.tue.nl:879984","is_oa":false,"landing_page_url":"http://repository.tue.nl/879984","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:0001-5903","raw_type":"Article / Letter to the editor"},{"id":"pmh:oai:library.tue.nl:881015","is_oa":false,"landing_page_url":"http://repository.tue.nl/881015","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:","raw_type":"Article / Letter to the editor"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/15385928-05e6-4bb3-8cff-2fd5bfbe6957","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/15385928-05e6-4bb3-8cff-2fd5bfbe6957","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cranen, S, Keiren, J J A & Willemse, T A C 2016, 'Parity game reductions', arXiv, no. 1603.06422v1.","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/193434","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/193434","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Acta Informatica, 55, 5, pp. 401-444","raw_type":"Article / Letter to editor"},{"id":"pmh:tue:oai:pure.tue.nl:publications/15385928-05e6-4bb3-8cff-2fd5bfbe6957","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/15385928-05e6-4bb3-8cff-2fd5bfbe6957","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv. Cornell University Library","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s00236-017-0301-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-017-0301-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-017-0301-x.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"Acta Informatica","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2311027344.pdf","grobid_xml":"https://content.openalex.org/works/W2311027344.grobid-xml"},"referenced_works_count":59,"referenced_works":["https://openalex.org/W39529632","https://openalex.org/W144400307","https://openalex.org/W157991657","https://openalex.org/W170542089","https://openalex.org/W1493916325","https://openalex.org/W1501881008","https://openalex.org/W1505081061","https://openalex.org/W1514240489","https://openalex.org/W1522966647","https://openalex.org/W1523567898","https://openalex.org/W1526785305","https://openalex.org/W1536187134","https://openalex.org/W1539314523","https://openalex.org/W1577673148","https://openalex.org/W1586070392","https://openalex.org/W1591886066","https://openalex.org/W1605821400","https://openalex.org/W1696271966","https://openalex.org/W1753901747","https://openalex.org/W1964680921","https://openalex.org/W1971138850","https://openalex.org/W1974206804","https://openalex.org/W1979078717","https://openalex.org/W1990183105","https://openalex.org/W2019075172","https://openalex.org/W2023331051","https://openalex.org/W2044934647","https://openalex.org/W2049154590","https://openalex.org/W2054099039","https://openalex.org/W2060375000","https://openalex.org/W2069058599","https://openalex.org/W2076334860","https://openalex.org/W2083896385","https://openalex.org/W2098981343","https://openalex.org/W2105326662","https://openalex.org/W2129163528","https://openalex.org/W2134038996","https://openalex.org/W2142133061","https://openalex.org/W2155388558","https://openalex.org/W2160548641","https://openalex.org/W2161411257","https://openalex.org/W2165846252","https://openalex.org/W2168360220","https://openalex.org/W2170933628","https://openalex.org/W2172111426","https://openalex.org/W2285902464","https://openalex.org/W2294218349","https://openalex.org/W2406025056","https://openalex.org/W2474862751","https://openalex.org/W2502103274","https://openalex.org/W2576752578","https://openalex.org/W2581077845","https://openalex.org/W2663462053","https://openalex.org/W2727774376","https://openalex.org/W2963956714","https://openalex.org/W3000511677","https://openalex.org/W4239721096","https://openalex.org/W4244848635","https://openalex.org/W4252706706"],"related_works":["https://openalex.org/W2463782052","https://openalex.org/W1541732450","https://openalex.org/W2518082944","https://openalex.org/W1488076266","https://openalex.org/W1562440999","https://openalex.org/W2603068949","https://openalex.org/W1820233200","https://openalex.org/W1827680569","https://openalex.org/W3101797533","https://openalex.org/W2984861660"],"abstract_inverted_index":{"Parity":[0],"games":[1,14,109],"play":[2],"a":[3,49,143],"central":[4],"role":[5],"in":[6,114],"model":[7,29],"checking":[8,30],"and":[9,64,68,81,122,136,140],"satisfiability":[10],"checking.":[11],"Solving":[12],"parity":[13,50,88,108,148],"is":[15],"computationally":[16],"expensive,":[17],"among":[18],"others":[19],"due":[20],"to":[21,44,105],"the":[22,25,46,57,84,115,128],"size":[23,47],"of":[24,48,56,87,95,134,145],"games,":[26],"which,":[27],"for":[28,107,147],"problems,":[31],"can":[32,41,111],"easily":[33],"contain":[34],"$$10^9$$":[35],"vertices":[36],"or":[37],"beyond.":[38],"Equivalence":[39],"relations":[40,75,106],"be":[42,112],"used":[43],"reduce":[45],"game,":[51],"thereby":[52],"potentially":[53],"alleviating":[54],"part":[55],"computational":[58],"burden.":[59],"We":[60],"reconsider":[61],"(governed)":[62,65],"bisimulation":[63],"stuttering":[66],"bisimulation,":[67],"we":[69,91,130,141],"give":[70],"detailed":[71],"proofs":[72],"that":[73,110],"these":[74,96,99],"are":[76,103],"equivalences,":[77],"have":[78],"unique":[79],"quotients":[80],"they":[82],"approximate":[83],"winning":[85],"regions":[86],"games.":[89,149],"Furthermore,":[90],"present":[92],"game-based":[93],"characterisations":[94,100,133],"relations.":[97],"Using":[98],"our":[101],"equivalences":[102,146],"compared":[104],"found":[113],"literature,":[116],"such":[117],"as":[118],"direct":[119],"simulation":[120,124,138],"equivalence":[121,139],"delayed":[123,137],"equivalence.":[125],"To":[126],"complete":[127],"overview":[129],"develop":[131],"coinductive":[132],"direct-":[135],"establish":[142],"lattice":[144]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2026-08-02T14:50:37.381335","created_date":"2025-10-10T00:00:00"}