DOI,IST REx ID,Research Group,Title of publication
null,15023,"ToHe,KrCh",Compositional policy learning in stochastic control systems with formal guarantees