A Metrized Duality Theorem for Markov Processes

Dexter Kozen, Radu Iulian Mardare, Prakash Panangaden

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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.
Original languageEnglish
Title of host publicationElectronic Notes in Theoretical Computer Science
Number of pages17
Volume308
Place of Publication29 October 2014
PublisherElsevier
Publication date2014
Pages211-227
DOIs
Publication statusPublished - 2014
Event Mathematical Foundations of Programming Semantics - Cornell University, Ithaca, New York, United States
Duration: 12 Jun 201415 Jun 2014
Conference number: 30

Conference

Conference Mathematical Foundations of Programming Semantics
Number30
LocationCornell University
Country/TerritoryUnited States
CityIthaca, New York
Period12/06/201415/06/2014

Fingerprint

Dive into the research topics of 'A Metrized Duality Theorem for Markov Processes'. Together they form a unique fingerprint.

Cite this