par Brenguier, Romain Cliquez pour télécharger la liste de publications de l'auteur; Perez Mejia, Guillermo Liste de publications; Raskin, Jean-François Liste de publications; Sankur, Ocan Liste de publications
Référence Leibniz international proceedings in informatics, 65, (page 42.1-42.14)
Publication Publié, 2016-12
Article révisé par les pairs
Titre :
  • Admissibility in quantitative graph games
Auteur : Brenguier, Romain ; Perez Mejia, Guillermo ; Raskin, Jean-François ; Sankur, Ocan
Informations sur la publication : Leibniz international proceedings in informatics, 65, (page 42.1-42.14)
Statut de publication : Publié, 2016-12
Sujet CREF : Généralités
Mots-clés : Admissibility
Quantitative games
Reactive synthesis
Verification
Note : SCOPUS: cp.p
Langue :
  • Anglais
Identificateurs : urn:issn:1868-8969 
info:doi/10.4230/LIPIcs.FSTTCS.2016.42