Research output per year
Research output per year
Julian Gutierrez, Paul Harrenstein, Michael Wooldridge
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
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.
Original language | English |
---|---|
Title of host publication | IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence |
Publisher | Association for the Advancement of Artificial Intelligence (AAAI) |
Pages | 932-938 |
Number of pages | 7 |
ISBN (Print) | 9781577356332 |
Publication status | Published - 2013 |
Externally published | Yes |
Event | International Joint Conference on Artificial Intelligence 2013 - Beijing, China Duration: 3 Aug 2013 → 9 Aug 2013 Conference number: 23rd http://ijcai-13.org/ https://www.ijcai.org/proceedings/2013 (conference proceedings) |
Name | IJCAI International Joint Conference on Artificial Intelligence |
---|---|
ISSN (Print) | 1045-0823 |
Conference | International Joint Conference on Artificial Intelligence 2013 |
---|---|
Abbreviated title | IJCAI 2013 |
Country/Territory | China |
City | Beijing |
Period | 3/08/13 → 9/08/13 |
Internet address |
|
Research output: Contribution to journal › Article › Research › peer-review