Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker. Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. In Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten, editors, Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Volume 8464 of Lecture Notes in Computer Science, pages 40-58, Springer, 2014. [doi]
Abstract is missing.