Communication à un colloque
Titre:
  • Weighted timed games : Positive results with negative costs
Auteur:Monmege, Benjamin; Brihaye, Thomas; Geeraerts, Gilles; SHANKARA NARAYANAN, Krishna; MANASA, Lakshmi; Trivedi, Ashutosh
Informations sur la publication:CASSTING Workshop at ETAPS (2014: Grenoble)
Statut de publication:Non publié, 2014
Sujet CREF:Informatique générale
Langue:N/A