par Clemente, Lorenzo Cliquez pour télécharger la liste de publications de l'auteur; Raskin, Jean-François Liste de publications
Référence Proceedings - Symposium on Logic in Computer Science, 2015-July, 7174887, (page 257-268)
Publication Publié, 2015-07
Article révisé par les pairs
Titre :
  • Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives
Auteur : Clemente, Lorenzo ; Raskin, Jean-François
Informations sur la publication : Proceedings - Symposium on Logic in Computer Science, 2015-July, 7174887, (page 257-268)
Statut de publication : Publié, 2015-07
Sujet CREF : Logique mathématique
Mots-clés : Controller synthesis
Markov decision processes
Mean-payoff games
Note : SCOPUS: cp.p
Langue :
  • Anglais
Identificateurs : urn:issn:1043-6871 
info:doi/10.1109/LICS.2015.33