Fair Quantitative Games
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Sa\u{g}lam,, Anne-Kathrin Schmuck

TL;DR
This paper studies two-player quantitative games with fairness constraints on edges, providing algorithms and complexity results, and extends the concept of strong transition fairness to the quantitative setting.
Contribution
It introduces the first gadget-based algorithms and complexity analysis for fair mean-payoff and energy games with strong transition fairness.
Findings
Games with fairness on player 1 are within omega-regular mean-payoff and energy games.
New algorithms are provided for fair games with fairness on either player.
The work extends strong transition fairness and gadget techniques to quantitative games.
Abstract
We examine two-player games over finite weighted graphs with quantitative (mean-payoff or energy) objective, where one of the players additionally needs to satisfy a fairness objective. The specific fairness we consider is called 'strong transition fairness', given by a subset of edges of one of the players, which asks the player to take fair edges infinitely often if their source nodes are visited infinitely often. We show that when fairness is imposed on player 1, these games fall within the class of previously studied omega-regular mean-payoff and energy games. On the other hand, when the fairness is on player 2, to the best of our knowledge, these games have not been previously studied. We provide gadget-based algorithms for fair mean-payoff games where fairness is imposed on either player, and for fair energy games where the fairness is imposed on player 1. For all variants of…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGame Theory and Voting Systems · Sports Analytics and Performance
