A Metrized Duality Theorem for Markov Processes (original) (raw)
Related papers
A Metric Analog of Stone Duality for Markov Processes
IEEE
Taking it to the limit: approximate reasoning for markov processes
2012
Approximating Continuous Markov Processes
2000
The metric analogue of weak bisimulation for probabilistic processes
Logic in Computer …, 2002
Approximate reasoning for real-time probabilistic processes
Logical Methods in Computer Science, 2006
Stone Duality for Markov Processes
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Approximating Markov processes through filtration
Theoretical Computer Science, 2012
An Algebraic Theory of Markov Processes
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Approximating Labelled Markov Processes Again!
Lecture Notes in Computer Science, 2009
Metrics for labelled Markov processes
Theoretical Computer …, 2004
Approximating Markov processes by averaging
2009
Approximating labelled Markov processes
Information and Computation, 2003
Naturality, standardness, and weak duality for Markov processes
Probability Theory and Related Fields, 1984
Almost Sure Bisimulation in Labelled Markov Processes
Josée Desharnais, François Laviolette
Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes
Approximate analysis of probabilistic processes: Logic, simulation and games
First Results for a Mathematical Theory of Possibilistic Processes
1996
An Overview of Probabilistic Process Algebras and Their Equivalences
Lecture Notes in Computer Science, 2004
Metrics for labeled Markov systems
… '99 Concurrency Theory, 1999
Strong Completeness for Markovian Logics
Mathematical Foundations of Computer Science 2013, 2013
Approximating labeled Markov processes
lics, 2000
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes
Journal of Logic and Algebraic …, 2003
Labelled Markov Processes: Stronger and Faster Approximations
Electronic Notes in Theoretical Computer Science, 2004
Bisimulation for labelled Markov processes
Information and Computation, 2002
Conditional Expectation and the Approximation of Labelled Markov Processes
Lecture Notes in Computer Science, 2003
Topologies of Stochastic Markov Models: Computational Aspects
Labeled Markov processes: stronger and faster approximations
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.
Bisimulations for non-deterministic labelled Markov processes
Mathematical Structures in Computer Science, 2012