Solving Stochastic Büchi Games on Infinite Decisive Arenas

Type de document :
Communication dans un congrès
QAPL - 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, Mar 2013, Rome, Italy. 117, pp.116-131, 2013, EPTCS. 〈10.4204/EPTCS.117.8〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00906831
Contributeur : Nathalie Bertrand <>
Soumis le : mercredi 20 novembre 2013 - 13:39:46
Dernière modification le : mercredi 11 avril 2018 - 02:00:29

Lien texte intégral

Identifiants

Citation

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. 117, pp.116-131, 2013, EPTCS. 〈10.4204/EPTCS.117.8〉. 〈hal-00906831〉

Partager

Métriques

Consultations de la notice

322