Iterated Boolean games
Iterated games are well-known in the game theory literature. We study iterated Boolean games. These are games in which players repeatedly choose truth values for Boolean variables they have control over. Our model of iterated Boolean games assumes that players have goals given by formulae of Linear...
| Asıl Yazarlar: | , , |
|---|---|
| Materyal Türü: | Conference item |
| Baskı/Yayın Bilgisi: |
AAAI Press / International Joint Conferences on Artificial Intelligence
2013
|
| _version_ | 1826299238594641920 |
|---|---|
| author | Gutierrez, J Harrenstein, P Wooldridge, M |
| author_facet | Gutierrez, J Harrenstein, P Wooldridge, M |
| author_sort | Gutierrez, J |
| collection | OXFORD |
| description | Iterated games are well-known in the game theory literature. We study iterated Boolean games. These are games in which players repeatedly choose truth values for Boolean variables they have control over. Our model of iterated Boolean games assumes that players have goals given by formulae of Linear Temporal Logic (LTL), a formalism for expressing properties of state sequences. In order to model the strategies that players use in such games, we use a finite state machine model. After introducing and formally defining iterated Boolean games, we investigate the computational complexity of their associated game-theoretic decision problems as well as semantic conditions characterising classes of LTL properties that are preserved by pure strategy Nash equilibria whenever they exist. |
| first_indexed | 2024-03-07T04:58:53Z |
| format | Conference item |
| id | oxford-uuid:d791b0f7-55c5-4d40-a1b8-419fd5a3536f |
| institution | University of Oxford |
| last_indexed | 2024-03-07T04:58:53Z |
| publishDate | 2013 |
| publisher | AAAI Press / International Joint Conferences on Artificial Intelligence |
| record_format | dspace |
| spelling | oxford-uuid:d791b0f7-55c5-4d40-a1b8-419fd5a3536f2022-03-27T08:42:05ZIterated Boolean gamesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:d791b0f7-55c5-4d40-a1b8-419fd5a3536fSymplectic Elements at OxfordAAAI Press / International Joint Conferences on Artificial Intelligence2013Gutierrez, JHarrenstein, PWooldridge, MIterated games are well-known in the game theory literature. We study iterated Boolean games. These are games in which players repeatedly choose truth values for Boolean variables they have control over. Our model of iterated Boolean games assumes that players have goals given by formulae of Linear Temporal Logic (LTL), a formalism for expressing properties of state sequences. In order to model the strategies that players use in such games, we use a finite state machine model. After introducing and formally defining iterated Boolean games, we investigate the computational complexity of their associated game-theoretic decision problems as well as semantic conditions characterising classes of LTL properties that are preserved by pure strategy Nash equilibria whenever they exist. |
| spellingShingle | Gutierrez, J Harrenstein, P Wooldridge, M Iterated Boolean games |
| title | Iterated Boolean games |
| title_full | Iterated Boolean games |
| title_fullStr | Iterated Boolean games |
| title_full_unstemmed | Iterated Boolean games |
| title_short | Iterated Boolean games |
| title_sort | iterated boolean games |
| work_keys_str_mv | AT gutierrezj iteratedbooleangames AT harrensteinp iteratedbooleangames AT wooldridgem iteratedbooleangames |