Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems

DOI10.1007/978-3-540-71389-0_10MaRDI QIDQ5758050zbMATH OpenOpenAlexFDO

Authors 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

behavioural distancesprobabilistic bisimilarityprobabilistic transition systems

Mathematics Subject Classification ID

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

Recommendations

• Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
• Behavioural pseudometrics for nondeterministic probabilistic systems
• A behavioural pseudometric for probabilistic transition systems
• Approximating and computing behavioural distances in probabilistic transition systems
• A pseudometric in supervisory control of probabilistic discrete event systems
• On metrics for probabilistic systems: definitions and algorithms
• Pseudometrics for State Aggregation in Average Reward Markov Decision Processes
• Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
• CONCUR 2005 – Concurrency Theory

Cited in

(10)

• Behavioural pseudometrics for nondeterministic probabilistic systems
• Polynomial-time algorithms for computing distances of fuzzy transition systems
• Approximating and computing behavioural distances in probabilistic transition systems
• A pseudometric in supervisory control of probabilistic discrete event systems
• Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
• A behavioural pseudometric based on -bisimilarity
• Bisimulation for Markov decision processes through families of functional expressions
• Asymmetric Distances for Approximate Differential Privacy
• The Kantorovich metric in computer science: a brief survey
• On metrics for probabilistic systems: definitions and algorithms

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5758050)