par Berthon, Raphaël;Randour, Mickael ;Raskin, Jean-François
Référence Leibniz international proceedings in informatics, 80, 121
Publication Publié, 2017-07
Article révisé par les pairs
Titre:
  • Threshold constraints with guarantees for parity objectives in markov decision processes
Auteur:Berthon, Raphaël; Randour, Mickael; Raskin, Jean-François
Informations sur la publication:Leibniz international proceedings in informatics, 80, 121
Statut de publication:Publié, 2017-07
Sujet CREF:Généralités
Mots-clés:Beyond worst-case synthesis
Markov decision processes
Parity objectives
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1868-8969
info:doi/10.4230/LIPIcs.ICALP.2017.121
info:scp/85027262483