Behavioural pseudometrics for nondeterministic probabilistic systems

DOI10.7561/SACS.2022.2.211MaRDI QIDQ6588079zbMATH OpenFDO

Authors Wenjie Du, Yuxin Deng, Daniel Gebler

Publication date 15 August 2024

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

zbMATH Keywords

behavioral pseudometricsprobabilistic labelled transition systemsreal-valued modal logics

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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

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)