par Brenguier, Romain ;Cassez, Franck F.;Raskin, Jean-François
Référence Proceedings of the 17th international conference on Hybrid systems: computation and control, page (283-292)
Publication Publié, 2014
Publication dans des actes
Titre:
  • Energy and mean-payoff timed games
Auteur:Brenguier, Romain; Cassez, Franck F.; Raskin, Jean-François
Informations sur la publication:Proceedings of the 17th international conference on Hybrid systems: computation and control, page (283-292)
Statut de publication:Publié, 2014
Sujet CREF:Informatique générale
Langue:Anglais