Games with Trading of Control

Orna Kupferman*, Noam Shenwald*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The interaction among components in a system is traditionally modeled by a game. In the turned-based setting, the players in the game jointly move a token along the game graph, with each player deciding where to move the token in vertices she controls. The objectives of the players are modeled by ω-regular winning conditions, and players whose objectives are satisfied get rewards. Thus, the game is non-zero-sum, and we are interested in its stable outcomes. In particular, in the rational-synthesis problem, we seek a strategy for the system player that guarantees the satisfaction of the system’s objective in all rational environments. In this paper, we study an extension of the traditional setting by trading of control. In our game, the players may pay each other in exchange for directing the token also in vertices they do not control. The utility of each player then combines the reward for the satisfaction of her objective and the profit from the trading. The setting combines challenges from ω-regular graph games with challenges in pricing, bidding, and auctions in classical game theory. We study the theoretical properties of parity trading games: best-response dynamics, existence and search for Nash equilibria, and measures for equilibrium inefficiency. We also study the rational-synthesis problem and analyze its tight complexity in various settings.

Original languageAmerican English
Title of host publication34th International Conference on Concurrency Theory, CONCUR 2023
EditorsGuillermo A. Perez, Jean-Francois Raskin
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages19:1-19:17
Number of pages17
ISBN (Electronic)9783959772990
DOIs
StatePublished - Sep 2023
Event34th International Conference on Concurrency Theory, CONCUR 2023 - Antwerp, Belgium
Duration: 18 Sep 202323 Sep 2023

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume279
ISSN (Print)1868-8969

Conference

Conference34th International Conference on Concurrency Theory, CONCUR 2023
Country/TerritoryBelgium
CityAntwerp
Period18/09/2323/09/23

Bibliographical note

Publisher Copyright:
© 2023 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.

Keywords

  • Auctions
  • Game Theory
  • Parity Games
  • Rational Synthesis

Fingerprint

Dive into the research topics of 'Games with Trading of Control'. Together they form a unique fingerprint.

Cite this