On Stochastic MPC Formulations with Closed-Loop Guarantees: Analysis and a Unifying Framework | IEEE Conference Publication | IEEE Xplore