Behavioural pseudometrics for nondeterministic probabilistic systems

DOI10.1007/978-3-319-47677-3_5MaRDI QIDQ1660766zbMATH OpenOpenAlexFDO

Authors Wenjie Du, Daniel Gebler, Yuxin Deng

Publication date 16 August 2018

Full work available at URL https://doi.org/10.1007/978-3-319-47677-3_5

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• A behavioural pseudometric for probabilistic transition systems
• On metrics for probabilistic systems: definitions and algorithms
• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 1754609
• Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems

Cited in

(20)

• Weak bisimulation metrics in models with nondeterminism and continuous state spaces
• A behavioural pseudometric for probabilistic transition systems
• The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems
• Differential logical relations. II: Increments and derivatives
• Trace and testing metrics on nondeterministic probabilistic processes
• A pseudometric in supervisory control of probabilistic discrete event systems
• Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
• scientific article; zbMATH DE number 1754609 (Why is no real title available?)
• Bisimulations for probabilistic and quantum processes (invited paper)
• Characteristic logics for behavioural hemimetrics via fuzzy lax extensions
• Automata, Languages and Programming
• Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems
• CONCUR 2005 – Concurrency Theory
• Explainability of probabilistic bisimilarity distances for labelled Markov chains
• Behavioural pseudometrics for nondeterministic probabilistic systems
• Contextual behavioural metrics
• Logical characterization of trace metrics
• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
• On metrics for probabilistic systems: definitions and algorithms

This page was built for publication: Behavioural pseudometrics for nondeterministic probabilistic systems

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