A metrized duality theorem for Markov processes

DOI10.1016/J.ENTCS.2014.10.012zbMATH Open1337.68186OpenAlexW2157267904WikidataQ113317843 ScholiaQ113317843MaRDI QIDQ283765FDOQ283765

Authors: Dexter Kozen, Radu Mardare, Prakash Panangaden 

Publication date: 13 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.10.012

Recommendations

• Taking it to the limit: approximate reasoning for Markov processes
• Approximate reasoning for real-time probabilistic processes
• Metrics for labelled Markov processes
• Approximating Markov Processes by Averaging
• Approximating Markov processes by averaging

zbMATH Keywords

Markov processesisometryAumann algebrasmetricsprobabilistic reasoningquantitative reasoningStone duality

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Reasoning under uncertainty in the context of artificial intelligence (68T37) Continuous-time Markov processes on general state spaces (60J25) Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Bisimulation for labelled Markov processes
• Title not available (Why is that?)
• Bisimulation through probabilistic testing
• Title not available (Why is that?)
• Metrics for labelled Markov processes
• A probabilistic PDL
• Interactive epistemology. II: Probability
• Taking it to the limit: approximate reasoning for Markov processes
• Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
• Deduction systems for coalgebras over measurable spaces
• Title not available (Why is that?)
• Labelled Markov processes.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning about knowledge and probability
• Title not available (Why is that?)
• Continuous Markovian logics -- axiomatization and quantified metatheory
• Stone duality for Markov processes
• Foundations of Software Science and Computation Structures
• Stochastic Relations
• Foundations of Software Science and Computational Structures
• Probability logic for type spaces

Cited In (2)

• Duality and cones of Markov processes and their semigroups
• Taking it to the limit: approximate reasoning for Markov processes

This page was built for publication: A metrized duality theorem for Markov processes

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