On Stochastic MPC Formulations with Closed-Loop Guarantees: Analysis and a Unifying Framework. - Johannes Köhler 001; Ferdinand Geuss; Melanie N. Zeilinger (CDC, 2023)