A GENERAL NOTION OF UNIFORM STRATEGIES

Bastien Maubert () and Sophie Pinchinat ()
Additional contact information
Bastien Maubert: Team LOGICA, IRISA, Université de Rennes 1, Rennes, 35042, France
Sophie Pinchinat: Team LOGICA, IRISA, Université de Rennes 1, Rennes, 35042, France

International Game Theory Review (IGTR), 2014, vol. 16, issue 01, 1-33

Abstract: We consider two-player turn-based game arenas for which we investigateuniformity propertiesof strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not μ-calculus definable. Typically, we can representconstraintson allowed strategies, such as being observation-based. We propose a formal language to specify uniformity properties, involving an original modality calledR, meaning "for all related plays". Its semantics is given by some binary relation between plays. We demonstrate the relevance of our approach by rephrasing various known problems from the literature. We also study an automated procedure to synthesize strategies subject to a uniformity property, which strictly extends existing results based on, say standard temporal logics. We exhibit a generic solution for the synthesis problem provided the binary relation that defines the sets of related plays is recognizable by a finite state transducer. This solution yields a nonelementary procedure.

Keywords: Game theory; uniform strategies; rational relations; C7 (search for similar items in EconPapers)
JEL-codes: B4 C0 C6 C7 D5 D7 M2 (search for similar items in EconPapers)
Date: 2014
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.worldscientific.com/doi/abs/10.1142/S0219198914400040
Access to full text is restricted to subscribers

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wsi:igtrxx:v:16:y:2014:i:01:n:s0219198914400040

Ordering information: This journal article can be ordered from

DOI: 10.1142/S0219198914400040

Access Statistics for this article

International Game Theory Review (IGTR) is currently edited by David W K Yeung

More articles in International Game Theory Review (IGTR) from World Scientific Publishing Co. Pte. Ltd.
Bibliographic data for series maintained by Tai Tone Lim ().