Sofie Haesaert

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 73

Top Topics

Markov Decision Process

Stochastic Models

Reinforcement Learning

Top Venues

Publications

B. C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani, Sofie Haesaert
Specification-guided temporal logic control for stochastic systems: a multi-layered approach. CoRR (2024)
Cosimo Della Santina, Carlos Hernández Corbato, Burak Sisman, Luis A. Leiva, Ioannis Arapakis, Michalis Vakalellis, Jean Vanderdonckt, Luis Fernando D'Haro, Guido Manzi, Cristina Becchio, Aïda Elamrani, Mohsen Alirezaei, Ginevra Castellano, Dimos V. Dimarogonas, Arabinda Ghosh, Sofie Haesaert, Sadegh Soudjani, Sybert Stroeve, Paul F. M. J. Verschure, Davide Bacciu, Ophelia Deroy, Bahador Bahrami, Claudio Gallicchio, Sabine Hauert, Ricardo Sanz, Pablo Lanillos, Giovanni Iacca, Stephan Sigg, Manel Gasulla, Luc Steels, Carles Sierra
Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside". CoRR (2024)
Maico Hendrikus Wilhelmus Engelaar, Zengjie Zhang, Mircea Lazar, Sofie Haesaert
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics. CoRR (2024)
Maico Hendrikus Wilhelmus Engelaar, Zengjie Zhang, Eleftherios E. Vlahakis, Mircea Lazar, Sofie Haesaert
Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications. CoRR (2024)
Zirui Liao, Shaoping Wang, Jian Shi, Sofie Haesaert, Yuwei Zhang, Zhiyong Sun
Resilient Containment Under Time-Varying Networks With Relaxed Graph Robustness. IEEE Trans. Netw. Sci. Eng. 11 (5) (2024)
Zengjie Zhang, Zhiyong Sun, Sofie Haesaert
Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion. CoRR (2024)
Shuhao Qi, Zengjie Zhang, Sofie Haesaert, Zhiyong Sun
Automated Formation Control Synthesis from Temporal Logic Specifications. CoRR (2023)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems. CoRR (2023)
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
SySCoRe: Synthesis via Stochastic Coupling Relations. CoRR (2023)
Chris Verhoek, Patrick J. W. Koelewijn, Sofie Haesaert, Roland Tóth
Direct Data-Driven State-Feedback Control of General Nonlinear Systems. CDC (2023)
Shuhao Qi, Zengjie Zhang, Sofie Haesaert, Zhiyong Sun
Automated Formation Control Synthesis from Temporal Logic Specifications. CDC (2023)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Bayesian Approach to Temporal Logic Control of Uncertain Systems. CoRR (2023)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems. CDC (2023)
Zengjie Zhang, Sofie Haesaert
Modularized Control Synthesis for Complex Signal Temporal Logic Specifications. CDC (2023)
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception. CDC (2023)
Chris Verhoek, Patrick J. W. Koelewijn, Sofie Haesaert, Roland Tóth
Direct data-driven state-feedback control of general nonlinear systems. CoRR (2023)
Zengjie Zhang, Sofie Haesaert
Modularized Control Synthesis for Complex Signal Temporal Logic Specifications. CoRR (2023)
Chris Verhoek, Patrick J. W. Koelewijn, Sofie Haesaert, Roland Tóth
Convex incremental dissipativity analysis of nonlinear systems. Autom. 150 (2023)
Chris Verhoek, Julian Berberich, Sofie Haesaert, Roland Tóth, Hossam S. Abbas
A Linear Parameter-Varying Approach to Data Predictive Control. CoRR (2023)
Maico Hendrikus Wilhelmus Engelaar, Sofie Haesaert, Mircea Lazar
Stochastic Model Predictive Control with Dynamic Chance Constraints. ICSTCC (2023)
Lin-Chi Wu, Zengjie Zhang, Sofie Haesaert, Zhiqiang Ma, Zhiyong Sun
Risk-Aware Reward Shaping of Reinforcement Learning Agents for Autonomous Driving. CoRR (2023)
Chris Verhoek, Julian Berberich, Sofie Haesaert, Frank Allgöwer, Roland Tóth
Data-driven Dissipativity Analysis of Linear Parameter-Varying Systems. CoRR (2023)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱. HSCC (2023)
Maico Hendrikus Wilhelmus Engelaar, Sofie Haesaert, Mircea Lazar
Stochastic Model Predictive Control with Dynamic Chance Constraints. CoRR (2023)
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani
ARCH-COMP23 Category Report: Stochastic Models. ARCH (2023)
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers. ICRA (2023)
B. C. van Huijgevoort, Siep Weiland, Sofie Haesaert
Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction. IEEE Control. Syst. Lett. 7 (2023)
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception. CoRR (2023)
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
SySCoRe: Synthesis via Stochastic Coupling Relations. HSCC (2023)
Lin-Chi Wu, Zengjie Zhang, Sofie Haesaert, Zhiqiang Ma, Zhiyong Sun
Risk-Aware Reward Shaping of Reinforcement Learning Agents for Autonomous Driving. IECON (2023)
Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert
Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications. CoRR (2023)
Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert
Abstracting Linear Stochastic Systems via Knowledge Filtering. CDC (2023)
Birgit van Huijgevoort, Chris Verhoek, Roland Tóth, Sofie Haesaert
Direct data-driven signal temporal logic control of linear systems. CoRR (2023)
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers. CoRR (2022)
Chris Verhoek, Gerben Izaak Beintema, Sofie Haesaert, Maarten Schoukens, Roland Tóth
Deep-Learning-Based Identification of LPV Models for Nonlinear Systems. CoRR (2022)
Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen
ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP (2022)
Birgit van Huijgevoort, Sofie Haesaert
Similarity quantification for linear stochastic systems: A coupling compensator approach. Autom. 144 (2022)
Chris Verhoek, Gerben Izaak Beintema, Sofie Haesaert, Maarten Schoukens, Roland Tóth
Deep-Learning-Based Identification of LPV Models for Nonlinear Systems. CDC (2022)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Correct-by-Design Control of Parametric Stochastic Systems. CoRR (2022)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Correct-by-Design Control of Parametric Stochastic Systems. CDC (2022)
Chris Verhoek, Roland Tóth, Sofie Haesaert, Anne Koch
Fundamental Lemma for Data-Driven Analysis of Linear Parameter-Varying Systems. CDC (2021)
Birgit van Huijgevoort, Sofie Haesaert
Multi-layered simulation relations for linear stochastic systems. CoRR (2021)
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani
Formal Multi-Objective Synthesis of Continuous-State MDPs. IEEE Control. Syst. Lett. 5 (5) (2021)
Sofie Haesaert, Fei Chen, Alessandro Abate, Siep Weiland
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems. IEEE Trans. Autom. Control. 66 (3) (2021)
Chris Verhoek, Roland Tóth, Sofie Haesaert, Anne Koch
Fundamental Lemma for Data-Driven Analysis of Linear Parameter-Varying Systems. CoRR (2021)
Chris Verhoek, Hossam S. Abbas, Roland Tóth, Sofie Haesaert
Data-Driven Predictive Control for Linear Parameter-Varying Systems. CoRR (2021)
Sofie Haesaert, Sadegh Soudjani
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems. IEEE Trans. Autom. Control. 66 (6) (2021)
B. C. van Huijgevoort, Sofie Haesaert
Multi-layered simulation relations for linear stochastic systems. ECC (2021)
Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, Paolo Zuliani
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS (2021)
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani
Formal Multi-Objective Synthesis of Continuous-State MDPs. ACC (2021)
Birgit van Huijgevoort, Sofie Haesaert
Similarity quantification for linear stochastic systems as a set-theoretic control problem. CoRR (2020)
Takahiro Sasaki, Kyohei Otsu, Rohan Thakker, Sofie Haesaert, Ali-akbar Agha-mohammadi
Where to Map? Iterative Rover-Copter Path Planning for Mars Exploration. CoRR (2020)
Takahiro Sasaki, Kyohei Otsu, Rohan Thakker, Sofie Haesaert, Ali-akbar Agha-mohammadi
Where to Map? Iterative Rover-Copter Path Planning for Mars Exploration. IEEE Robotics Autom. Lett. 5 (2) (2020)
Sofie Haesaert, Rohan Thakker, Petter Nilsson, Ali-Akbar Agha-Mohammadi, Richard M. Murray
Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces. CDC (2019)
Sofie Haesaert, Sadegh Soudjani
Achievements in correct-by-design control for stochastic systems. SNR (2019)
Alessandro Abate, Henk Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod
ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek (2019)
Alessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod
ARCH-COMP18 Category Report: Stochastic Modelling. ARCH@ADHS (2018)
Sofie Haesaert, Siep Weiland, Carsten W. Scherer
A separation theorem for guaranteed H2 performance through matrix inequalities. Autom. 96 (2018)
Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames, Richard M. Murray
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. ADHS (2018)
Petter Nilsson, Sofie Haesaert, Rohan Thakker, Kyohei Otsu, Cristian Ioan Vasile, Ali-Akbar Agha-Mohammadi, Richard M. Murray, Aaron D. Ames
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams. Robotics: Science and Systems (2018)
Sofie Haesaert, Sadegh Soudjani
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems. CoRR (2018)
Sofie Haesaert, Sadegh Soudjani, Alessandro Abate
Temporal logic control of general Markov decision processes by approximate policy refinement. ADHS (2018)
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. QEST (2017)
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
Data-driven and model-based verification via Bayesian identification and reachability analysis. Autom. 79 (2017)
Sofie Haesaert, Nathalie Cauchi, Alessandro Abate
Certified policy synthesis for general Markov decision processes: An application in building automation systems. Perform. Evaluation 117 (2017)
Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. SIAM J. Control. Optim. 55 (4) (2017)
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. CoRR (2017)
Fei Chen, Sofie Haesaert, Alessandro Abate, Siep Weiland
Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations. CoRR (2017)
Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Temporal logic control of general Markov decision processes by approximate policy refinement. CoRR (2017)
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
Data-Efficient Bayesian Verification of Parametric Markov Chains. QEST (2016)
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
Experiment design for formal verification via stochastic optimal control. ECC (2016)
Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Verification of general Markov decision processes by approximate similarity relations and policy refinement. CoRR (2016)
Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. QEST (2016)
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
Data-driven property verification of grey-box systems by Bayesian experiment design. ACC (2015)
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
Observer-based correct-by-design controller synthesis. CoRR (2015)
Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof
Correct-by-design output feedback of LTI systems. CDC (2015)
Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof
Data-driven and model-based verification: A Bayesian identification approach. CDC (2015)
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
Data-driven and Model-based Verification: a Bayesian Identification Approach. CoRR (2015)
Mohammed I. Abouheaf, Sofie Haesaert, Wei-Jen Lee, Frank L. Lewis
Approximate and Reinforcement Learning techniques to solve non-convex Economic Dispatch problems. SSD (2014)
Mohammed I. Abouheaf, Frank L. Lewis, Kyriakos G. Vamvoudakis, Sofie Haesaert, Robert Babuska
Multi-agent discrete-time graphical games and reinforcement learning solutions. Autom. 50 (12) (2014)
Sofie Haesaert, Robert Babuska, Alessandro Abate
Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes. CoRR (2014)
Mohammed I. Abouheaf, Frank L. Lewis, Sofie Haesaert, Robert Babuska, Kyriakos G. Vamvoudakis
Multi-agent discrete-time graphical games: interactive Nash equilibrium and value iteration solution. ACC (2013)