Sequence-Based Stochastic Receding Horizon Control Using IMM Filtering and Value Function Approximation | IEEE Conference Publication | IEEE Xplore