Michael Huth, Nir Piterman, Daniel Wagner. Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL. In Miroslaw Kutylowski, Witold Charatonik, Maciej Gebala, editors, Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings. Volume 5699 of Lecture Notes in Computer Science, pages 205-216, Springer, 2009. [doi]
Abstract is missing.