Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Uniform Strategies

Bastien Maubert 1, * Sophie Pinchinat 1 
* Corresponding author
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : We consider turn-based game arenas for which we investigate uniformity properties of strategies. These properties involve bundles of plays, that arise from some semantical motive. Typically, we can represent constraints on allowed strategies, such as being observation-based. We propose a formal language to specify uniformity properties and demonstrate its relevance by rephrasing various known problems from the literature. Note that the ability to correlate different plays cannot be achieved by any branching-time logic if not equipped with an additional modality, so-called R in this contribution. 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 bundles of plays rely on any binary relation definable by a finite state transducer. This solution yields a non-elementary procedure.
Document type :
Reports (Research report)
Complete list of metadata
Contributor : Bastien Maubert Connect in order to contact the contributor
Submitted on : Monday, December 3, 2012 - 6:02:06 PM
Last modification on : Thursday, October 27, 2022 - 3:44:41 AM
Long-term archiving on: : Monday, March 4, 2013 - 3:51:24 AM


Files produced by the author(s)


  • HAL Id : hal-00760370, version 1
  • ARXIV : 1212.0526


Bastien Maubert, Sophie Pinchinat. Uniform Strategies. [Research Report] RR-8144, INRIA. 2012. ⟨hal-00760370⟩



Record views


Files downloads