On metrics for probabilistic systems: De
โ
Taolue Chen; Tingting Han; Jian Lu
๐
Article
๐
2009
๐
Elsevier Science
๐
English
โ 538 KB
In this paper, we consider the behavioral pseudometrics for probabilistic systems, which are a quantitative analogue of probabilistic bisimilarity in the sense that the distance zero captures the probabilistic bisimilarity. The model we are interested in is probabilistic automata, which are based on