A behavioural pseudometric for continuous-time Markov processes

DOI10.1007/978-3-031-90897-2_2MaRDI QIDQ6889898zbMATH OpenFDO

Authors Linan Chen, Florence Clerc, Prakash Panangaden

Publication date 4 December 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-90897-2_2

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites work

• A behavioural pseudometric for continuous-time Markov processes
• A behavioural pseudometric for probabilistic transition systems
• A calculus of communicating systems
• Approximate reasoning for real-time probabilistic processes
• Bisimulation for Feller-Dynkin processes
• Bisimulation for labelled Markov processes
• Bisimulation metrics for continuous Markov decision processes
• Bisimulation through probabilistic testing
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42092 (Why is no real title available?)
• scientific article; zbMATH DE number 1361128 (Why is no real title available?)
• scientific article; zbMATH DE number 1478492 (Why is no real title available?)
• scientific article; zbMATH DE number 6846220 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 2190526 (Why is no real title available?)
• Metrics for labelled Markov processes
• Stochastic-Process Limits
• Towards a classification of behavioural equivalences in continuous-time Markov processes

Cited in

(1)

• A behavioural pseudometric for continuous-time Markov processes

This page was built for publication: A behavioural pseudometric for continuous-time Markov processes

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