Үүнийг мессежээр илгээх: Learning−based Compositional Verification for Synchronous Probabilistic Systems