COMPUTING PROBABILISTIC BISIMILARITY DISTANCES FOR PROBABILISTIC AUTOMATA

Bacci, G; Bacci, G; Larsen, KG; Mardare, R; Tang, QY; van Breugel, F

Bacci, G (corresponding author), Aalborg Univ, Dept Comp Sci, Aalborg, Denmark.

LOGICAL METHODS IN COMPUTER SCIENCE, 2021; 17 (1):

Abstract

The probabilistic bisimilarity distance of Deng et al. has been proposed as a robust quantitative generalization of Segala and Lynch's probabilistic b......

Full Text Link