Behavioural pseudometrics for nondeterministic probabilistic systems

DOI10.7561/SACS.2022.2.211MaRDI QIDQ6588079FDOQ6588079

Authors: Wenjie Du, Yuxin Deng, Daniel Gebler 

Publication date: 15 August 2024

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Recommendations

• Behavioural pseudometrics for nondeterministic probabilistic systems
• A behavioural pseudometric for probabilistic transition systems
• On metrics for probabilistic systems: definitions and algorithms
• CONCUR 2005 – Concurrency Theory

zbMATH Keywords

behavioral pseudometricsprobabilistic labelled transition systemsreal-valued modal logics

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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 Q6588079)