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