default search action
Sofie Haesaert
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j13]Zirui Liao
, Shaoping Wang
Resilient Containment Under Time-Varying Networks With Relaxed Graph Robustness. IEEE Trans. Netw. Sci. Eng. 11(5): 4093-4105 (2024) - [i37]Maico Hendrikus Wilhelmus Engelaar, Zengjie Zhang, Mircea Lazar, Sofie Haesaert:
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics. CoRR abs/2402.03165 (2024) - [i36]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 abs/2402.09030 (2024) - [i35]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 abs/2404.02111 (2024) - [i34]Zengjie Zhang, Zhiyong Sun, Sofie Haesaert:
Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion. CoRR abs/2404.09037 (2024) - [i33]B. C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani, Sofie Haesaert:
Specification-guided temporal logic control for stochastic systems: a multi-layered approach. CoRR abs/2407.03896 (2024) - [i32]Teun van de Laar, Zengjie Zhang, Shuhao Qi, Sofie Haesaert, Zhiyong Sun:
VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications. CoRR abs/2409.09536 (2024) - [i31]Shuhao Qi, Zengjie Zhang, Zhiyong Sun, Sofie Haesaert:
Risk-Aware Autonomous Driving for Linear Temporal Logic Specifications. CoRR abs/2409.09769 (2024) - [i30]Ernesto Casablanca, Zengjie Zhang, Gregorio Marchesini, Sofie Haesaert, Dimos V. Dimarogonas, Sadegh Soudjani:
SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness. CoRR abs/2409.14833 (2024) - 2023
- [j12]Chris Verhoek
Convex incremental dissipativity analysis of nonlinear systems. Autom. 150: 110859 (2023) - [j11]B. C. van Huijgevoort
Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction. IEEE Control. Syst. Lett. 7: 1039-1044 (2023) - [c35]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: 126-150 - [c34]Maico Hendrikus Wilhelmus Engelaar
Abstracting Linear Stochastic Systems via Knowledge Filtering. CDC 2023: 3049-3054 - [c33]Chris Verhoek
Direct Data-Driven State-Feedback Control of General Nonlinear Systems. CDC 2023: 3688-3693 - [c32]Shuhao Qi, Zengjie Zhang
Automated Formation Control Synthesis from Temporal Logic Specifications. CDC 2023: 5165-5170 - [c31]Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile:
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception. CDC 2023: 6863-6868 - [c30]Oliver Schön
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems. CDC 2023: 7035-7042 - [c29]Zengjie Zhang
Modularized Control Synthesis for Complex Signal Temporal Logic Specifications. CDC 2023: 7856-7861 - [c28]Birgit van Huijgevoort
SySCoRe: Synthesis via Stochastic Coupling Relations. HSCC 2023: 13:1-13:11 - [c27]Oliver Schön
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱. HSCC 2023: 22:1-22:2 - [c26]Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers. ICRA 2023: 1652-1658 - [c25]Maico Hendrikus Wilhelmus Engelaar
Stochastic Model Predictive Control with Dynamic Chance Constraints. ICSTCC 2023: 356-361 - [c24]Lin-Chi Wu, Zengjie Zhang
Risk-Aware Reward Shaping of Reinforcement Learning Agents for Autonomous Driving. IECON 2023: 1-6 - [i29]Birgit van Huijgevoort, Oliver Schön
SySCoRe: Synthesis via Stochastic Coupling Relations. CoRR abs/2302.12294 (2023) - [i28]Chris Verhoek, Julian Berberich, Sofie Haesaert, Frank Allgöwer
Data-driven Dissipativity Analysis of Linear Parameter-Varying Systems. CoRR abs/2303.10031 (2023) - [i27]Chris Verhoek, Patrick J. W. Koelewijn, Sofie Haesaert, Roland Tóth:
Direct data-driven state-feedback control of general nonlinear systems. CoRR abs/2303.10648 (2023) - [i26]Zengjie Zhang
Modularized Control Synthesis for Complex Signal Temporal Logic Specifications. CoRR abs/2303.17086 (2023) - [i25]Shuhao Qi, Zengjie Zhang
Automated Formation Control Synthesis from Temporal Logic Specifications. CoRR abs/2304.00275 (2023) - [i24]Birgit van Huijgevoort, Chris Verhoek, Roland Tóth, Sofie Haesaert:
Direct data-driven signal temporal logic control of linear systems. CoRR abs/2304.02297 (2023) - [i23]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 abs/2304.05770 (2023) - [i22]Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Bayesian Approach to Temporal Logic Control of Uncertain Systems. CoRR abs/2304.07428 (2023) - [i21]Maico Hendrikus Wilhelmus Engelaar, Sofie Haesaert, Mircea Lazar:
Stochastic Model Predictive Control with Dynamic Chance Constraints. CoRR abs/2305.19262 (2023) - [i20]Lin-Chi Wu, Zengjie Zhang
Risk-Aware Reward Shaping of Reinforcement Learning Agents for Autonomous Driving. CoRR abs/2306.03220 (2023) - [i19]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 abs/2309.01276 (2023) - [i18]Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile:
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception. CoRR abs/2309.07347 (2023) - [i17]Chris Verhoek, Julian Berberich, Sofie Haesaert, Roland Tóth, Hossam S. Abbas:
A Linear Parameter-Varying Approach to Data Predictive Control. CoRR abs/2311.07140 (2023) - 2022
- [j10]Birgit van Huijgevoort, Sofie Haesaert:
Similarity quantification for linear stochastic systems: A coupling compensator approach. Autom. 144: 110476 (2022) - [c23]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
ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP 2022: 113-141 - [c22]Chris Verhoek
Deep-Learning-Based Identification of LPV Models for Nonlinear Systems. CDC 2022: 3274-3280 - [c21]Oliver Schön
Correct-by-Design Control of Parametric Stochastic Systems. CDC 2022: 5580-5587 - [i16]Chris Verhoek, Gerben Izaak Beintema, Sofie Haesaert, Maarten Schoukens
Deep-Learning-Based Identification of LPV Models for Nonlinear Systems. CoRR abs/2204.04060 (2022) - [i15]Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile:
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers. CoRR abs/2209.09818 (2022) - [i14]Oliver Schön
Correct-by-Design Control of Parametric Stochastic Systems. CoRR abs/2210.08269 (2022) - 2021
- [j9]Sofie Haesaert
Formal Multi-Objective Synthesis of Continuous-State MDPs. IEEE Control. Syst. Lett. 5(5): 1765-1770 (2021) - [j8]Sofie Haesaert
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems. IEEE Trans. Autom. Control. 66(3): 1024-1039 (2021) - [j7]Sofie Haesaert
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems. IEEE Trans. Autom. Control. 66(6): 2496-2511 (2021) - [c20]Sofie Haesaert, Petter Nilsson, Sadegh Soudjani:
Formal Multi-Objective Synthesis of Continuous-State MDPs. ACC 2021: 3428-3433 - [c19]Alessandro Abate, Henk A. P. 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 J. Thorpe, Vlad Turcuman, Paolo Zuliani:
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS 2021: 55-89 - [c18]Chris Verhoek
Fundamental Lemma for Data-Driven Analysis of Linear Parameter-Varying Systems. CDC 2021: 5040-5046 - [c17]B. C. van Huijgevoort, Sofie Haesaert:
Multi-layered simulation relations for linear stochastic systems. ECC 2021: 728-733 - [i13]Chris Verhoek
Data-Driven Predictive Control for Linear Parameter-Varying Systems. CoRR abs/2103.16160 (2021) - [i12]Chris Verhoek
Fundamental Lemma for Data-Driven Analysis of Linear Parameter-Varying Systems. CoRR abs/2103.16171 (2021) - [i11]Birgit van Huijgevoort, Sofie Haesaert:
Multi-layered simulation relations for linear stochastic systems. CoRR abs/2104.00625 (2021) - 2020
- [j6]Takahiro Sasaki
Where to Map? Iterative Rover-Copter Path Planning for Mars Exploration. IEEE Robotics Autom. Lett. 5(2): 2123-2130 (2020) - [i10]Birgit van Huijgevoort, Sofie Haesaert:
Similarity quantification for linear stochastic systems as a set-theoretic control problem. CoRR abs/2007.09052 (2020) - [i9]Takahiro Sasaki, Kyohei Otsu, Rohan Thakker, Sofie Haesaert, Ali-akbar Agha-mohammadi:
Where to Map? Iterative Rover-Copter Path Planning for Mars Exploration. CoRR abs/2008.07157 (2020)
2010 – 2019
- 2019
- [c16]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: 6282-6287 - [c15]Alessandro Abate, Henk A. P. Blom
ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek 2019: 62-102 - [c14]Sofie Haesaert, Sadegh Soudjani:
Achievements in correct-by-design control for stochastic systems. SNR 2019: 12-15 - 2018
- [j5]Sofie Haesaert, Siep Weiland, Carsten W. Scherer:
A separation theorem for guaranteed H2 performance through matrix inequalities. Autom. 96: 306-313 (2018) - [c13]Alessandro Abate, Henk A. P. Blom
ARCH-COMP18 Category Report: Stochastic Modelling. ARCH@ADHS 2018: 71-103 - [c12]Sofie Haesaert, Sadegh Soudjani, Alessandro Abate:
Temporal logic control of general Markov decision processes by approximate policy refinement. ADHS 2018: 73-78 - [c11]Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. ADHS 2018: 271-276 - [c10]Petter Nilsson, Sofie Haesaert, Rohan Thakker, Kyohei Otsu, Cristian Ioan Vasile
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams. Robotics: Science and Systems 2018 - [i8]Sofie Haesaert, Sadegh Soudjani:
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems. CoRR abs/1811.11445 (2018) - 2017
- [j4]Sofie Haesaert, Paul M. J. Van den Hof
Data-driven and model-based verification via Bayesian identification and reachability analysis. Autom. 79: 115-126 (2017) - [j3]Sofie Haesaert, Nathalie Cauchi
Certified policy synthesis for general Markov decision processes: An application in building automation systems. Perform. Evaluation 117: 75-103 (2017) - [j2]Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. SIAM J. Control. Optim. 55(4): 2333-2367 (2017) - [c9]Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate:
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. QEST 2017: 259-274 - [i7]Fei Chen, Sofie Haesaert, Alessandro Abate, Siep Weiland:
Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations. CoRR abs/1704.01672 (2017) - [i6]Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate:
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. CoRR abs/1707.01322 (2017) - [i5]Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Temporal logic control of general Markov decision processes by approximate policy refinement. CoRR abs/1712.07622 (2017) - 2016
- [c8]Sofie Haesaert, Paul M. J. Van den Hof
Experiment design for formal verification via stochastic optimal control. ECC 2016: 427-432 - [c7]Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate:
Data-Efficient Bayesian Verification of Parametric Markov Chains. QEST 2016: 35-51 - [c6]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: 227-243 - [i4]Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Verification of general Markov decision processes by approximate similarity relations and policy refinement. CoRR abs/1605.09557 (2016) - 2015
- [c5]Sofie Haesaert, Paul M. J. Van den Hof
Data-driven property verification of grey-box systems by Bayesian experiment design. ACC 2015: 1800-1805 - [c4]Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof
Correct-by-design output feedback of LTI systems. CDC 2015: 6159-6164 - [c3]Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof
Data-driven and model-based verification: A Bayesian identification approach. CDC 2015: 6830-6835 - [i3]Sofie Haesaert, Paul M. J. Van den Hof
Data-driven and Model-based Verification: a Bayesian Identification Approach. CoRR abs/1509.03347 (2015) - [i2]Sofie Haesaert, Paul M. J. Van den Hof
Observer-based correct-by-design controller synthesis. CoRR abs/1509.03427 (2015) - 2014
- [j1]Mohammed I. Abouheaf
Multi-agent discrete-time graphical games and reinforcement learning solutions. Autom. 50(12): 3038-3053 (2014) - [c2]Mohammed I. Abouheaf
Approximate and Reinforcement Learning techniques to solve non-convex Economic Dispatch problems. SSD 2014: 1-8 - [i1]Sofie Haesaert, Robert Babuska, Alessandro Abate:
Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes. CoRR abs/1409.0553 (2014) - 2013
- [c1]Mohammed I. Abouheaf
Multi-agent discrete-time graphical games: interactive Nash equilibrium and value iteration solution. ACC 2013: 4189-4195
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: