Discrete-Time Optimal Covariance Steering via Semidefinite Programming | IEEE Conference Publication | IEEE Xplore