|
Published Articles >> Table of Contents >> Abstract
19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)
pp. 160-169
Games with Secure Equilibria
Krishnendu Chatterjee, University of California, Berkeley
Thomas A. Henzinger, University of California, Berkeley; EPFL, Switzerland
Marcin Jurdzinski, University of California, Berkeley; University of Warwick, UK
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/LICS.2004.1319610
Send link to a friend
| Abstract |
|
In 2-player non-zero-sum games, Nash equilibria capture the options for rational behavior if each player attempts to maximize her payoff. In contrast to classical game theory, we consider lexicographic objectives: first, each player tries to maximize her own payoff, and then, the player tries to minimize the opponent's payoff. Such objectives arise naturally in the verification of systems with multiple components. There, instead of proving that each component satisfies its specification no matter how the other components behave, it often suffices to prove that each component satisfies its specification provided that the other components satisfy their specifications. We say that a Nash equilibrium is secure if it is an equilibrium with respect to the lexicographic objectives of both players. We prove that in graph games with Borel objectives, which include the games that arise in verification, there may be several Nash equilibria, but there is always a unique maximal payoff profile of secure equilibria. We show how this equilibrium can be computed in the case of w-regular objectives, and we characterize the memory requirements of strategies that achieve the equilibrium.
|
 Additional Information
|
Citation:
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski,
"Games with Secure Equilibria,"
lics,
pp. 160-169,
19th Annual IEEE Symposium on Logic in Computer Science (LICS'04),
2004
|
|
