Sofie Haesaert
Technische Universiteit Eindhoven
H-index: 18
Europe-Netherlands
Top articles of Sofie Haesaert
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications | arXiv preprint arXiv:2404.02111 | Maico HW Engelaar Zengjie Zhang Eleftherios E Vlahakis Mircea Lazar Sofie Haesaert | 2024/4/2 |
Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge" Awareness Inside'' | arXiv preprint arXiv:2402.09030 | Cosimo Della Santina Carlos Hernandez Corbato Burak Sisman Luis A Leiva Ioannis Arapakis | 2024/2/14 |
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics | arXiv preprint arXiv:2402.03165 | Maico Hendrikus Wilhelmus Engelaar Zengjie Zhang Mircea Lazar Sofie Haesaert | 2024/2/5 |
Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱ | Oliver Schön Birgit Van Huijgevoort Sofie Haesaert Sadegh Soudjani | 2023/5/9 | |
Verifying the unknown: Correct-by-design control synthesis for networks of stochastic uncertain systems | Oliver Schön Birgit van Huijgevoort Sofie Haesaert Sadegh Soudjani | 2023/12/13 | |
Another note on persistency of excitation: The linear parameter-varying case | C Verhoek Sofie Haesaert Roland Tóth | 2023/10/20 | |
Data-driven Dissipativity Analysis of Linear Parameter-Varying Systems | arXiv preprint arXiv:2303.10031 | Chris Verhoek Julian Berberich Sofie Haesaert Frank Allgöwer Roland Tóth | 2023/3/17 |
SySCoRe: Synthesis via stochastic coupling relations | Birgit Van Huijgevoort Oliver Schön Sadegh Soudjani Sofie Haesaert | 2023/5/9 | |
Automated Formation Control Synthesis from Temporal Logic Specifications | Shuhao Qi Zengjie Zhang Sofie Haesaert Zhiyong Sun | 2023/12/13 | |
ARCH-COMP23 Category report: stochastic models | Alessandro Abate Henk Blom Nathalie Cauchi Joanna Delicaris Sofie Haesaert | 2023/10/18 | |
An experimental result on direct data-driven control of nonlinear systems using the LPV framework | C Verhoek Sofie Haesaert Roland Tóth | 2023 | |
Bayesian Approach to Temporal Logic Control of Uncertain Systems | arXiv preprint arXiv:2304.07428 | Oliver Schön Birgit van Huijgevoort Sofie Haesaert Sadegh Soudjani | 2023/4/14 |
Risk-Aware Reward Shaping of Reinforcement Learning Agents for Autonomous Driving | Lin-Chi Wu Zengjie Zhang Sofie Haesaert Zhiqiang Ma Zhiyong Sun | 2023/10/16 | |
Modularized control synthesis for complex signal temporal logic specifications | Zengjie Zhang Sofie Haesaert | 2023/12/13 | |
Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications | arXiv preprint arXiv:2304.05770 | Maico Hendrikus Wilhelmus Engelaar Licio Romao Yulong Gao Mircea Lazar Alessandro Abate | 2023/4/12 |
Abstracting linear stochastic systems via knowledge filtering | MHW Engelaar L Romao Y Gao M Lazar A Abate | 2023/12/13 | |
Stochastic model predictive control with dynamic chance constraints | Maico Hendrikus Wilhelmus Engelaar Sofie Haesaert Mircea Lazar | 2023/10/11 | |
Direct data-driven state-feedback control of general nonlinear systems | Chris Verhoek Patrick JW Koelewijn Sofie Haesaert Roland Tóth | 2023/12/13 | |
Direct data-driven signal temporal logic control of linear systems | arXiv preprint arXiv:2304.02297 | Birgit C van Huijgevoort Chris Verhoek Roland Tóth Sofie Haesaert | 2023/4/5 |
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception | Disha Kamale Sofie Haesaert Cristian-Ioan Vasile | 2023/12/13 |