@inproceedings{05953cd38d124f4b8afd0689167fe9e6,
title = "Behavioural pseudometrics for nondeterministic probabilistic systems",
abstract = "For the model of probabilistic labelled transition systems that allow for the co-existence of nondeterminism and probabilities, we present two notions of bisimulation metrics: one is state-based and the other is distribution-based. We provide a sound and complete modal characterisation for each of them, using real-valued modal logics based on Hennessy-Milner logic. The logic for characterising the state-based metric is much simpler than an earlier logic by Desharnais et al. as it uses only two non-expansive operators rather than the general class of nonexpansive operators. For the kernels of the two metrics, which correspond to two notions of bisimilarity, we give a comprehensive comparison with some typical distribution-based bisimilarities in the literature.",
author = "Wenjie Du and Yuxin Deng and Daniel Gebler",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2016 ; Conference date: 09-11-2016 Through 11-11-2016",
year = "2016",
doi = "10.1007/978-3-319-47677-3\_5",
language = "英语",
isbn = "9783319476766",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "67--84",
editor = "Martin Franzle and Deepak Kapur and Naijun Zhan",
booktitle = "Dependable Software Engineering",
address = "德国",
}