Metrics for labeled markov systems

摘要

Partial Labled Markov Chains (PIMC) generalize process algebra and traditional Markov chains. They provide a foundation for interacting discrete probabilistic systems. Existing notions of process equivalence are too sensitive to the exact probabilities of transitions in PIMCS. This paper studies more robust notions of "approximate" equivalence between PIMCS.