Name
Title | ||
|---|---|---|
Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains. |
Abstract | ||
|---|---|---|
In the late nineties, Desharnais, Gupta, Jagadeesan and Panangaden presented probabilistic bisimilarity distances on the states of a labelled Markov chain. This provided a quantitative generalisation of probabilistic bisimilarity introduced by Larsen and Skou a decade earlier. In the last decade, several algorithms to approximate and compute these probabilistic bisimilarity distances have been put forward. In this paper, we correct, improve and generalise some of these algorithms. Furthermore, we compare their performance experimentally. |
Year | Venue | Field |
|---|---|---|
2017 | CONCUR | Generalization,Computer science,Markov chain,Algorithm,Theoretical computer science,Probabilistic logic,Examples of Markov chains |
DocType | Citations | PageRank |
Conference | 2 | 0.38 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Qiyi Tang | 1 | 7 | 4.49 |
| Franck van Breugel | 2 | 523 | 35.17 |