Résumé
We summarize classical and recent results about two-player games played on graphs with omega-regular objectives. These games have applications in the verification and synthesis of reactive systems. Important distinctions are whether a graph game is turn-based or concurrent; deterministic or stochastic; zero-sum or not. We cluster known results and open problems according to these classifications. (C) 2011 Elsevier Inc. All rights reserved.
Détails
Titre
A survey of stochastic omega-regular games
Auteur(s)
Chatterjee, Krishnendu ; Henzinger, Thomas A.
Publié dans
Journal Of Computer And System Sciences
Volume
78
Pages
394-413
Date
2012
Mots-clés (libres)
Autres identifiant(s)
Afficher la publication dans Web of Science
Laboratoires
MTC
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > MTC - Laboratoire de modèles et théorie de calculs
Publications validées par des pairs
Travail produit à l'EPFL
Articles de journaux
Publié
Publications validées par des pairs
Travail produit à l'EPFL
Articles de journaux
Publié
Date de création de la notice
2012-03-01