Transfer operator-based approach for optimal stabilization of stochastic systems | IEEE Conference Publication | IEEE Xplore