par Doyen, Laurent Cliquez pour télécharger la liste de publications de l'auteur; Henzinger, Thomas A.; Raskin, Jean-François Liste de publications
Référence International journal of foundations of computer science, 19, 3, (page 549-563)
Publication Publié, 2008-06
Article révisé par les pairs
Titre :
  • Equivalence of labeled Markov chains
Auteur : Doyen, Laurent ; Henzinger, Thomas A. ; Raskin, Jean-François
Informations sur la publication : International journal of foundations of computer science, 19, 3, (page 549-563)
Statut de publication : Publié, 2008-06
Sujet CREF : Informatique mathématique
Mots-clés : Bisimulation
Equivalence
Labeled Markov chain
Markov decision process
Probabilistic automaton
Note : SCOPUS: cp.j
Langue :
  • Anglais
Identificateurs : urn:issn:0129-0541 
info:doi/10.1142/S0129054108005814