Journal article icon

Journal article

Iterated Boolean games.

Abstract:

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 represent the strategies of players in such games, we use a finite state machine model. After introducing...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Publisher copy:
10.1016/j.ic.2015.03.011

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Elsevier Publisher's website
Journal:
Information and Computation Journal website
Volume:
242
Pages:
53-79
Publication date:
2015-01-01
DOI:
EISSN:
1090-2651
ISSN:
0890-5401
Source identifiers:
526734
Pubs id:
pubs:526734
UUID:
uuid:53fc715e-3afb-4bba-a716-cefe55809f93
Local pid:
pubs:526734
Deposit date:
2016-01-20

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP