Uniform Strategies

Bastien Maubert 1, * Sophie Pinchinat 1
* Auteur correspondant
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : Nous considérons des arènes de jeux pour lesquelles nous étudions des propriétés d'uniformité des stratégies. Ces propriétés font intervenir des ensembles de parties, qui émer- gent d'une quelconque motivation sémantique. Typiquement, nous pouvons représenter des con- traintes sur les stratégies autorisées, comme par exemple être observationnelles. Nous proposons un language formel pour spécifier les propriétés d'uniformité et démontrons sa pertinence en re- formulant divers problèmes connus de la littérature. Noter que la capacité à corréler différentes parties ne peut être obtenue par aucune logique du temps arborescent à moins de l'équiper d'une modalité supplémentaire, appelée R dans cette contribution. Nous étudions aussi une procé- dure de synthèse automatique de stratégies soumises à une propriété d'uniformité, qui étend strictement les résultats existants basés sur la logique temporelle standard. Nous proposons une solution générique pour le problème de la synthèse dans le cas où les ensembles de parties sont caractérisés par une relation binaire définissable par un transducteur fini. Cette solution donne une procédure non-élémentaire.
Type de document :
Rapport
[Research Report] RR-8144, INRIA. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00760370
Contributeur : Bastien Maubert <>
Soumis le : lundi 3 décembre 2012 - 18:02:06
Dernière modification le : mercredi 16 mai 2018 - 11:23:05
Document(s) archivé(s) le : lundi 4 mars 2013 - 03:51:24

Fichiers

RR-8144.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Citation

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

Partager

Métriques

Consultations de la notice

292

Téléchargements de fichiers

160