Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems

DOI10.1007/978-3-540-71389-0_10zbMath1142.68447OpenAlexW1526648666MaRDI QIDQ5758050

Babita Sharma, Franck Van Breugel, James Worrell

Publication date: 7 September 2007

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71389-0_10

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 (3)

Asymmetric Distances for Approximate Differential Privacy ⋮ Bisimulation for Markov Decision Processes through Families of Functional Expressions ⋮ On metrics for probabilistic systems: definitions and algorithms

This page was built for publication: Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems