A probabilistic approach for control of a stochastic system from LTL specifications | IEEE Conference Publication | IEEE Xplore