A compositional approach to stochastic optimal control with co-safe temporal logic specifications | IEEE Conference Publication | IEEE Xplore