A Metrized Duality Theorem for Markov Processes

Dexter Kozen, Radu Mardare, Prakash Panangaden. A Metrized Duality Theorem for Markov Processes. Electronic Notes in Theoretical Computer Science, 308:211-227, 2014. [doi]

Abstract

Abstract is missing.