par Bohy, Aaron;Bruyère, Véronique;Filiot, Emmanuel ;Raskin, Jean-François
Référence Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin Heidelberg, page (169-184)
Publication Publié, 2013
Partie d'ouvrage collectif
Titre:
  • Synthesis from LTL specifications with mean-payoff objectives
Auteur:Bohy, Aaron; Bruyère, Véronique; Filiot, Emmanuel; Raskin, Jean-François
Informations sur la publication:Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin Heidelberg, page (169-184)
Statut de publication:Publié, 2013
Sujet CREF:Informatique mathématique
Langue:Anglais