Barrier Function-based Model Predictive Control under Signal Temporal Logic Specifications. - Maria Charitidou; Dimos V. Dimarogonas (ECC, 2021)

Splitting and merging control of multiple platoons with Signal Temporal Logic*. - Maria Charitidou; Dimos V. Dimarogonas (CCTA, 2022)

Signal Temporal Logic Task Decomposition via Convex Optimization. - Maria Charitidou; Dimos V. Dimarogonas (IEEE Control. Syst. Lett., 2022)

An MILP approach for persistent coverage tasks with multiple robots and performance guarantees. - Maria Charitidou; Tamás Keviczky (Eur. J. Control, 2022)

Control Barrier Functions for Disjunctions of Signal Temporal Logic Tasks. - Maria Charitidou; Dimos V. Dimarogonas (ECC, 2023)

Receding Horizon Control With Online Barrier Function Design Under Signal Temporal Logic Specifications. - Maria Charitidou; Dimos V. Dimarogonas (IEEE Trans. Autom. Control., 2023)

Edge-based funnel control for multi-agent systems using relative position measurements. - Maria Charitidou; Dimos V. Dimarogonas (ECC, 2024)

Control Barrier Functions for Stochastic Systems under Signal Temporal Logic Tasks. - Arash Bahari Kordabad; Maria Charitidou; Dimos V. Dimarogonas; Sadegh Soudjani (ECC, 2024)

Distributed MPC With Continuous-Time STL Constraint Satisfaction Guarantees. - Maria Charitidou; Dimos V. Dimarogonas (IEEE Control. Syst. Lett., 2024)

Control Synthesis for Multi-Agent Systems under Coupled Signal Temporal Logic Tasks: A Top-Down Model Predictive Approach. - Maria Charitidou (2024)

Virtual Leader and Distance-Based Formation Control With Funnel Constraints. - Maria Charitidou; Dimos V. Dimarogonas (IEEE Trans. Control. Netw. Syst., 2025)