Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Equivalence of labeled Markov chains
 
Loading...
Thumbnail Image
conference paper

Equivalence of labeled Markov chains

Doyen, Laurent
•
Henzinger, Thomas A.  
•
Raskin, Jean-Francois
2008
International Journal Of Foundations Of Computer Science
11th International Conference on Developments in Language Theory

We consider the equivalence problem for labeled Markov chains (LMCs), where each state is labeled with an observation. Two LMCs are equivalent if every finite sequence of observations has the same probability of occurrence in the two LMCs. We show that equivalence can be decided in polynomial time, using a reduction to the equivalence problem for probabilistic automata, which is known to be solvable in polynomial time. We provide an alternative algorithm to solve the equivalence problem, which is based on a new definition of bisimulation for probabilistic automata. We also extend the technique to decide the equivalence of weighted probabilistic automata.

  • Details
  • Metrics
Type
conference paper
DOI
10.1142/S0129054108005814
Web of Science ID

WOS:000256383100004

Author(s)
Doyen, Laurent
•
Henzinger, Thomas A.  
•
Raskin, Jean-Francois
Date Issued

2008

Published in
International Journal Of Foundations Of Computer Science
Volume

19

Start page

549

End page

563

Subjects

labeled Markov chain

•

Markov decision process

•

probabilistic automaton

•

equivalence

•

bisimulation

•

Finite-State Machines

•

Probabilistic-Automata

Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
MTC  
Event nameEvent placeEvent date
11th International Conference on Developments in Language Theory

Turku, FINLAND

Jul 03-06, 2007

Available on Infoscience
November 30, 2010
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/61337
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés