Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems

DOI10.2168/LMCS-4(2:2)2008zbMath1143.68057MaRDI QIDQ3518278

Babita Sharma, Franck Van Breugel, James Worrell

Publication date: 7 August 2008

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

probabilistic transition systemsprobabilistic bisimilaritybehavioural distances

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Unnamed Item ⋮ Sound approximate and asymptotic probabilistic bisimulations for PCTL ⋮ On behavioural pseudometrics and closure ordinals ⋮ A modal characterization of alternating approximate bisimilarity ⋮ Polynomial-time algorithms for computing distances of fuzzy transition systems ⋮ Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Deciding probabilistic bisimilarity distance one for probabilistic automata