この資料をSMS送信: Learning−based Compositional Verification for Synchronous Probabilistic Systems