Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees Institute of Science and Technology Austria (ISTA) Massachusetts Institute of Technology Klosterneuburg, Austria