{"id":"https://openalex.org/W4225706449","doi":"https://doi.org/10.1007/978-3-030-99527-0_4","title":"Correlated Equilibria and Fairness in Concurrent Stochastic Games","display_name":"Correlated Equilibria and Fairness in Concurrent Stochastic Games","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4225706449","doi":"https://doi.org/10.1007/978-3-030-99527-0_4"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-99527-0_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99527-0_4","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99527-0_4.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":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99527-0_4.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081710233","display_name":"Marta Kwiatkowska","orcid":"https://orcid.org/0000-0001-9022-7599"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Marta Kwiatkowska","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067544120","display_name":"Gethin Norman","orcid":"https://orcid.org/0000-0001-9326-4344"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Gethin Norman","raw_affiliation_strings":["School of Computing Science, University of Glasgow, Glasgow, UK"],"affiliations":[{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, UK","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036097359","display_name":"David Parker","orcid":"https://orcid.org/0000-0003-4137-8862"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Parker","raw_affiliation_strings":["School of Computer Science, University of Birmingham, Birmingham, UK"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101880063","display_name":"Gabriel Santos","orcid":"https://orcid.org/0000-0002-6570-9737"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Gabriel Santos","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5081710233"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":5.4598,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.96015275,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"60","last_page":"78"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11031","display_name":"Game Theory and Applications","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11031","display_name":"Game Theory and Applications","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T11182","display_name":"Auction Theory and Applications","score":0.9940999746322632,"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"}},{"id":"https://openalex.org/T10991","display_name":"Game Theory and Voting Systems","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7831897139549255},{"id":"https://openalex.org/keywords/nash-equilibrium","display_name":"Nash equilibrium","score":0.7386727333068848},{"id":"https://openalex.org/keywords/subgame","display_name":"Subgame","score":0.6089036464691162},{"id":"https://openalex.org/keywords/subgame-perfect-equilibrium","display_name":"Subgame perfect equilibrium","score":0.5928882956504822},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.5447940826416016},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4634172320365906},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.45815834403038025},{"id":"https://openalex.org/keywords/outcome","display_name":"Outcome (game theory)","score":0.44336435198783875},{"id":"https://openalex.org/keywords/best-response","display_name":"Best response","score":0.44051486253738403},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.4179132580757141},{"id":"https://openalex.org/keywords/game-theory","display_name":"Game theory","score":0.4150041937828064},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3569381535053253},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2901889979839325},{"id":"https://openalex.org/keywords/epsilon-equilibrium","display_name":"Epsilon-equilibrium","score":0.2654581367969513},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16913339495658875}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7831897139549255},{"id":"https://openalex.org/C46814582","wikidata":"https://www.wikidata.org/wiki/Q23389","display_name":"Nash equilibrium","level":2,"score":0.7386727333068848},{"id":"https://openalex.org/C13576547","wikidata":"https://www.wikidata.org/wiki/Q3965283","display_name":"Subgame","level":5,"score":0.6089036464691162},{"id":"https://openalex.org/C175983524","wikidata":"https://www.wikidata.org/wiki/Q1615834","display_name":"Subgame perfect equilibrium","level":3,"score":0.5928882956504822},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5447940826416016},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4634172320365906},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.45815834403038025},{"id":"https://openalex.org/C148220186","wikidata":"https://www.wikidata.org/wiki/Q7111912","display_name":"Outcome (game theory)","level":2,"score":0.44336435198783875},{"id":"https://openalex.org/C32407928","wikidata":"https://www.wikidata.org/wiki/Q2733833","display_name":"Best response","level":3,"score":0.44051486253738403},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.4179132580757141},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.4150041937828064},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3569381535053253},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2901889979839325},{"id":"https://openalex.org/C141824439","wikidata":"https://www.wikidata.org/wiki/Q307521","display_name":"Epsilon-equilibrium","level":4,"score":0.2654581367969513},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16913339495658875},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-030-99527-0_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99527-0_4","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99527-0_4.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:eprints.gla.ac.uk:264919","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference Proceedings"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/d7182ece-afe9-4119-b137-d6e158ccbbf4","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/d7182ece-afe9-4119-b137-d6e158ccbbf4","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"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":"Kwiatkowska, M, Norman, G, Parker, D & Santos, G 2022, Correlated equilibria and fairness in concurrent stochastic games. in D Fisman & G Rosu (eds), TACAS 2022 : Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, no. 13244, Springer, pp. 60\u201378, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, 2/04/22. https://doi.org/10.1007/978-3-030-99527-0_4","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.atira.dk:publications/d7182ece-afe9-4119-b137-d6e158ccbbf4","is_oa":true,"landing_page_url":"https://birmingham.elsevierpure.com/en/publications/d7182ece-afe9-4119-b137-d6e158ccbbf4","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"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":"Kwiatkowska , M , Norman , G , Parker , D & Santos , G 2022 , Correlated equilibria and fairness in concurrent stochastic games . in D Fisman & G Rosu (eds) , TACAS 2022 : Tools and Algorithms for the Construction and Analysis of Systems . Lecture Notes in Computer Science , no. 13244 , Springer , pp. 60\u201378 , 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Munich , Germany , 2/04/22 . https://doi.org/10.1007/978-3-030-99527-0_4","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-99527-0_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99527-0_4","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99527-0_4.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/G4956428346","display_name":null,"funder_award_id":"Horizon 2020 research and innovatio","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5036817778","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innov","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G578781017","display_name":"From FUnction-based TO MOdel-based automated probabilistic reasoning for DEep Learning","funder_award_id":"834115","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8633428685","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innovat","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4225706449.pdf","grobid_xml":"https://content.openalex.org/works/W4225706449.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W34205182","https://openalex.org/W175331295","https://openalex.org/W1128447031","https://openalex.org/W1480909796","https://openalex.org/W2012151424","https://openalex.org/W2044667552","https://openalex.org/W2051580064","https://openalex.org/W2057913812","https://openalex.org/W2069746367","https://openalex.org/W2091027967","https://openalex.org/W2112794046","https://openalex.org/W2123871098","https://openalex.org/W2292587149","https://openalex.org/W2499402371","https://openalex.org/W2508573783","https://openalex.org/W2575731723","https://openalex.org/W2751594235","https://openalex.org/W2899043600","https://openalex.org/W2914135999","https://openalex.org/W2963244439","https://openalex.org/W2965332339","https://openalex.org/W3042980517","https://openalex.org/W3103977484","https://openalex.org/W3109427444","https://openalex.org/W3124931799","https://openalex.org/W4225706449","https://openalex.org/W4229885360","https://openalex.org/W4230164823"],"related_works":["https://openalex.org/W1760610438","https://openalex.org/W3125676384","https://openalex.org/W3126144651","https://openalex.org/W2374365529","https://openalex.org/W1721529662","https://openalex.org/W2111030377","https://openalex.org/W1944059214","https://openalex.org/W1967386364","https://openalex.org/W4226246080","https://openalex.org/W1554758635"],"abstract_inverted_index":{"Abstract":[0],"Game-theoretic":[1],"techniques":[2],"and":[3,9,26,41,45,75,109,126,141,155],"equilibria":[4,18,58,79,99,133],"analysis":[5],"facilitate":[6],"the":[7,70,85,92,156,177],"design":[8],"verification":[10,40],"of":[11,17,28,43,72,94,115,160,172,179],"competitive":[12],"systems.":[13],"While":[14],"algorithmic":[15],"complexity":[16],"computation":[19],"has":[20],"been":[21],"extensively":[22],"studied,":[23],"practical":[24],"implementation":[25],"application":[27],"game-theoretic":[29],"methods":[30,66],"is":[31],"more":[32,139,157],"recent.":[33],"Tools":[34],"such":[35],"as":[36,69],"PRISM-games":[37,95],"support":[38,97],"automated":[39],"synthesis":[42],"zero-sum":[44],"(":[46],"$$\\varepsilon":[47],"$$":[48],"<mml:math":[49],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[50],"<mml:mi>\u03b5</mml:mi>":[51],"</mml:math>":[52],"-optimal":[53],"subgame-perfect)":[54],"social":[55,116],"welfare":[56],"Nash":[57,125],"properties":[59],"for":[60,87,150],"concurrent":[61,162],"stochastic":[62,163],"games.":[63],"However,":[64],"these":[65],"become":[67],"inefficient":[68],"number":[71],"agents":[73],"grows":[74],"may":[76],"also":[77,143],"generate":[78],"that":[80,131],"yield":[81],"significant":[82],"variations":[83],"in":[84,101],"outcomes":[86],"individual":[88],"agents.":[89],"We":[90,129,147],"extend":[91],"functionality":[93],"to":[96,123,136],"correlated":[98,127,132],",":[100,118],"which":[102,119],"players":[103],"can":[104,120,142],"coordinate":[105],"through":[106],"public":[107],"signals,":[108],"introduce":[110],"a":[111,170],"novel":[112],"optimality":[113],"criterion":[114],"fairness":[117],"be":[121],"applied":[122],"both":[124,151],"equilibria.":[128],"show":[130],"are":[134,138],"easier":[135],"compute,":[137],"equitable,":[140],"improve":[144],"joint":[145],"outcomes.":[146],"implement":[148],"algorithms":[149],"normal":[152],"form":[153],"games":[154,164],"complex":[158],"case":[159,173],"multi-player":[161],"with":[165],"temporal":[166],"logic":[167],"specifications.":[168],"On":[169],"range":[171],"studies,":[174],"we":[175],"demonstrate":[176],"benefits":[178],"our":[180],"methods.":[181]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}