Random Fruits on the Zielonka Tree - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Random Fruits on the Zielonka Tree

Florian Horn

Résumé

Stochastic games are a natural model for the synthesis of controllers confronted to adversarial and/or random actions. In particular, $\omega$-regular games of infinite length can represent reactive systems which are not expected to reach a correct state, but rather to handle a continuous stream of events. One critical resource in such applications is the memory used by the controller. In this paper, we study the amount of memory that can be saved through the use of randomisation in strategies, and present matching upper and lower bounds for stochastic Muller games.
Fichier principal
Vignette du fichier
Horn_new.pdf (284.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00360829 , version 1 (12-02-2009)

Identifiants

  • HAL Id : inria-00360829 , version 1
  • ARXIV : 0902.2736

Citer

Florian Horn. Random Fruits on the Zielonka Tree. 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.541-552. ⟨inria-00360829⟩

Collections

STACS2009
56 Consultations
45 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More