par Randour, Mickael Cliquez pour télécharger la liste de publications de l'auteur; Raskin, Jean-François Liste de publications; Sankur, Ocan Liste de publications
Référence Formal methods in system design, 50, 2-3, (page 207-248)
Publication Publié, 2017-06
Article révisé par les pairs
Titre :
  • Percentile queries in multi-dimensional Markov decision processes
Auteur : Randour, Mickael ; Raskin, Jean-François ; Sankur, Ocan
Informations sur la publication : Formal methods in system design, 50, 2-3, (page 207-248)
Statut de publication : Publié, 2017-06
Sujet CREF : Informatique mathématique
Informatique appliquée logiciel
Technologie informatique hardware
Mots-clés : Markov decision processes
Percentile queries
Quantitative objectives
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:0925-9856 
info:doi/10.1007/s10703-016-0262-7