@inproceedings{66798e77815b4f61bd58a9d9277b6c68,
title = "The BisimDist library: efficient computation of bisimilarity distances for Markovian models",
abstract = "This paper presents a library for exactly computing the bisimilarity Kantorovich-based pseudometrics between Markov chains and between Markov decision processes. These are distances that measure the behavioral discrepancies between non-bisimilar systems. They are computed by using an on-the-fly greedy strategy that prevents the exhaustive state space exploration and does not require a complete storage of the data structures. Tests performed on a consistent set of (pseudo)randomly generated instances show that our algorithm improves the efficiency of the previously proposed iterative algorithms, on average, with orders of magnitude. The tool is available as a Mathematica package library.",
keywords = "discount factor, Markov decision processes, probability transition matrix, greedy strategy, action label",
author = "Giorgio Bacci and Giovanni Bacci and {Guldstrand Larsen}, Kim and Radu Mardare",
year = "2013",
month = aug,
day = "28",
doi = "10.1007/978-3-642-40196-1_23",
language = "English",
isbn = "9783642401954",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "278--281",
editor = "K. Joshi and M. Siegle and M. Stoelinga and P.R. D'Argenio",
booktitle = "Quantitative Evaluation of Systems. QEST 2013",
note = "10th International Conference on Quantitative Evaluation of Systems, QEST 2013 ; Conference date: 27-08-2013 Through 30-08-2013",
}