Solving Stochastic Büchi Games on Infinite Decisive Arenas - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Solving Stochastic Büchi Games on Infinite Decisive Arenas

Nathalie Bertrand
  • Fonction : Auteur
  • PersonId : 838273
SUpervision of large MOdular and distributed systems
Philippe Schnoebelen
Laboratoire Spécification et Vérification [Cachan]

Domaines

Informatique et théorie des jeux [cs.GT]

Nathalie Bertrand  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00906831

Soumis le : mercredi 20 novembre 2013-13:39:46

Dernière modification le : vendredi 24 mars 2023-14:52:57

Consulter le texte intégral

Dates et versions

hal-00906831 , version 1 (20-11-2013)

Identifiants

Citer

Nathalie Bertrand, Philippe Schnoebelen. Solving Stochastic Büchi Games on Infinite Decisive Arenas. QAPL - 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, Mar 2013, Rome, Italy. pp.116-131, ⟨10.4204/EPTCS.117.8⟩. ⟨hal-00906831⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM EC-PARIS UNIV-RENNES1 CNRS INRIA ENS-CACHAN INSA-RENNES IRISA IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM ENS-PARIS-SACLAY
297 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More