Abstracting Linear Stochastic Systems via Knowledge Filtering. - Maico Hendrikus Wilhelmus Engelaar; Licio Romao; Yulong Gao; Mircea Lazar; Alessandro Abate; Sofie Haesaert (CDC, 2023)

Stochastic Model Predictive Control with Dynamic Chance Constraints. - Maico Hendrikus Wilhelmus Engelaar; Sofie Haesaert; Mircea Lazar (ICSTCC, 2023)

Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications. - Maico Hendrikus Wilhelmus Engelaar; Licio Romao; Yulong Gao; Mircea Lazar; Alessandro Abate; Sofie Haesaert (CoRR, 2023)

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

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications. - Maico Hendrikus Wilhelmus Engelaar; Zengjie Zhang; Eleftherios E. Vlahakis; Dimos V. Dimarogonas; Mircea Lazar; Sofie Haesaert (CDC, 2024)

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

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications. - Maico Hendrikus Wilhelmus Engelaar; Zengjie Zhang; Eleftherios E. Vlahakis; Mircea Lazar; Sofie Haesaert (CoRR, 2024)

Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees. - Maico Hendrikus Wilhelmus Engelaar; Micha P. P. Swaanen; Mircea Lazar; Sofie Haesaert (CoRR, 2024)