Văn bản này: Learning−based Compositional Verification for Synchronous Probabilistic Systems