Gul Agha. Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems. In Traian Muntean, Dimitrios Poulakis, Robert Rolland, editors, Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings. Volume 8080 of Lecture Notes in Computer Science, pages 1-3, Springer, 2013. [doi]
Abstract is missing.