Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics. - Maico Hendrikus Wilhelmus Engelaar; Zengjie Zhang; M. Lazar; Sofie Haesaert (ADHS, 2024)