par Filiot, Emmanuel Cliquez pour télécharger la liste de publications de l'auteur; Jin, Naiyong Liste de publications; Raskin, Jean-François Liste de publications
Référence Formal methods in system design, 39, 3, (page 261-296)
Publication Publié, 2011
Article révisé par les pairs
Titre :
  • Antichains and compositional algorithms for LTL synthesis
Auteur : Filiot, Emmanuel ; Jin, Naiyong ; Raskin, Jean-François
Informations sur la publication : Formal methods in system design, 39, 3, (page 261-296)
Statut de publication : Publié, 2011
Sujet CREF : Sciences exactes et naturelles
Mots-clés : Antichain algorithms
Automata on infinite words
Compositional algorithms
LTL realizability and synthesis
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:0925-9856 
info:doi/10.1007/s10703-011-0115-3