par Bohy, Aaron; Bruyère, Véronique; Raskin, Jean-François Liste de publications
Référence Electronic proceedings in theoretical computer science, 157, (page 51-67)
Publication Publié, 2014-07
Article révisé par les pairs
Titre :
  • Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
Auteur : Bohy, Aaron ; Bruyère, Véronique ; Raskin, Jean-François
Informations sur la publication : Electronic proceedings in theoretical computer science, 157, (page 51-67)
Statut de publication : Publié, 2014-07
Sujet CREF : Généralités
Note : SCOPUS: cp.p
Langue :
  • Anglais
Identificateurs : urn:issn:2075-2180 
info:doi/10.4204/EPTCS.157.8