par Bohy, Aaron;Bruyère, Véronique;Raskin, Jean-François
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 générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:2075-2180
info:doi/10.4204/EPTCS.157.8
info:scp/84938631746