Continuity Properties of Distances for Markov Processes

Manfred Jaeger, Hua Mao, Kim Guldstrand Larsen, Radu Mardare. Continuity Properties of Distances for Markov Processes. In Gethin Norman, William H. Sanders, editors, Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Volume 8657 of Lecture Notes in Computer Science, pages 297-312, Springer, 2014. [doi]

Abstract

Abstract is missing.