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]

Authors

Manfred Jaeger

This author has not been identified. Look up 'Manfred Jaeger' in Google

Hua Mao

This author has not been identified. Look up 'Hua Mao' in Google

Kim Guldstrand Larsen

This author has not been identified. Look up 'Kim Guldstrand Larsen' in Google

Radu Mardare

This author has not been identified. Look up 'Radu Mardare' in Google