Learning−based Compositional Verification for Synchronous Probabilistic Systems - Feng, L; Han, T; Kwiatkowska, M; Parker, D (Springer, 2011)