TY  - RPRT
TI  - Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
AU  - Maico H. W. Engelaar
AU  - Zengjie Zhang
AU  - Mircea Lazar
AU  - Sofie Haesaert
PY  - 2024
UR  - https://arxiv.org/abs/2402.03165
ID  - 2402.03165
ER  -