Testing labelled Markov processes

DOI10.1007/3-540-45465-9_46MaRDI QIDQ4737187zbMATH OpenFDO

Authors Steven Shalit, Franck van Breugel, James Worrell

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2380/23800537.htm

Mathematics Subject Classification ID

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

Recommendations

• Bisimulation for labelled Markov processes
• Domain theory, testing and simulation for labelled Markov processes
• Probabilistic bisimilarity as testing equivalence
• Bisimulation through probabilistic testing
• Metrics for labelled Markov processes

Cited in

(17)

• Bisimulation through probabilistic testing
• Probabilistic bisimilarity as testing equivalence
• Distribution-based bisimulation for labelled Markov processes
• Domain theory, testing and simulation for labelled Markov processes
• Testing hypothesis on transition distributions of a Markov sequence
• Recursively defined metric spaces without contraction
• Bisimulation for labelled Markov processes
• Labelled Markov processes: stronger and faster approximations
• Labelled Markov processes as generalised stochastic relations
• Bisimulations for non-deterministic labelled Markov processes
• Labelled Markov processes.
• Testing probabilistic equivalence through reinforcement learning
• Metrics for labeled Markov systems
• An intrinsic characterization of approximate probabilistic bisimilarity
• A theory of testing for Markovian processes
• Bisimilarity is not Borel
• Metrics for labelled Markov processes

This page was built for publication: Testing labelled Markov processes

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