Non-Zero Sum Games for Reactive Synthesis

Abstract : In this invited contribution, we summarize new solution concepts useful for the synthesis of reactive systems that we have introduced in several recent publications. These solution concepts are developed in the context of non-zero sum games played on graphs. They are part of the contributions obtained in the inVEST project funded by the European Research Council.
Type de document :
Communication dans un congrès
Adrian-Horia Dediu; Jan Janoušek; Carlos Martín-Vide; Bianca Truthe LATA 2016 : 10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic. Springer, 9618, pp.3-23, Lecture Notes in Computer Science 〈10.1007/978-3-319-30000-9_1〉
Liste complète des métadonnées

Littérature citée [45 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01373546
Contributeur : Ocan Sankur <>
Soumis le : jeudi 17 novembre 2016 - 09:48:44
Dernière modification le : mardi 16 janvier 2018 - 15:54:22
Document(s) archivé(s) le : jeudi 16 mars 2017 - 17:18:51

Fichier

lata-raskin.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickaël Randour, et al.. Non-Zero Sum Games for Reactive Synthesis . Adrian-Horia Dediu; Jan Janoušek; Carlos Martín-Vide; Bianca Truthe LATA 2016 : 10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic. Springer, 9618, pp.3-23, Lecture Notes in Computer Science 〈10.1007/978-3-319-30000-9_1〉. 〈hal-01373546〉

Partager

Métriques

Consultations de la notice

248

Téléchargements de fichiers

55