Game−Based Probabilistic Predicate Abstraction in PRISM (Proc. 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08), 2008)

(untitled) - Kattenbelt, M; Kwiatkowska, M; Norman, G; Parker, D