A Metrized Duality Theorem for Markov Processes
Author
Kozen, Dexter
Mardare, Radu
Panangaden, Prakash
Abstract
We extend our previous duality theorem for Markov processes by equipping the processes with a pseudometric and the algebras with a notion of metric diameter. We are able to show that the isomorphisms of our previous duality theorem become isometries in this quantitative setting. This opens the way to developing theories of approximate reasoning for probabilistic systems.
Date Issued
2014-05-21
Keywords
Type
technical report