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
Version:
Accepted Manuscript

Actions


Access Document


Publisher copy:
10.1016/j.ic.2015.03.011

Authors


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

Terms of use


Metrics



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

TO TOP