Distributed Actuator Selection: Achieving Optimality via a Primal-Dual Algorithm. - Licio Romao; Kostas Margellos; Antonis Papachristodoulou (IEEE Control. Syst. Lett., 2018)

Convergence rate analysis of a subgradient averaging algorithm for distributed optimisation with different constraint sets. - Licio Romao; Kostas Margellos; Giuseppe Notarstefano; Antonis Papachristodoulou (CDC, 2019)

Tight generalization guarantees for the sampling and discarding approach to scenario optimization. - Licio Romao; Kostas Margellos; Antonis Papachristodoulou (CDC, 2020)

Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples. - Licio Romao; Kostas Margellos; Antonis Papachristodoulou (L4DC, 2021)

Subgradient averaging for multi-agent optimisation with different constraint sets. - Licio Romao; Kostas Margellos; Giuseppe Notarstefano; Antonis Papachristodoulou (Autom., 2021)

Scalable and data-driven approaches to convex programming - Licio Romao (2021)

Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives. - Daniel Jarne Ornia; Licio Romao; Lewis Hammond; Manuel Mazo Jr. 002; Alessandro Abate (CoRR, 2022)

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. - Luke Rickard; Thom S. Badings; Licio Romao; Nils Jansen 001; Alessandro Abate (CoRR, 2022)

Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. - Thom S. Badings; Licio Romao; Alessandro Abate; Nils Jansen 001 (AAAI, 2023)

Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric. - Adrien Banse; Licio Romao; Alessandro Abate; Raphaël M. Jungers (CDC, 2023)

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

Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design. - Frederik Baymler Mathiesen; Licio Romao; Simeon C. Calvert; Alessandro Abate; Luca Laurenti (CDC, 2023)

Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding. - Licio Romao; Ashish R. Hota; Alessandro Abate (CDC, 2023)

Data-driven memory-dependent abstractions of dynamical systems. - Adrien Banse; Licio Romao; Alessandro Abate; Raphaël M. Jungers (L4DC, 2023)

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. - Luke Rickard; Thom S. Badings; Licio Romao; Alessandro Abate (QEST, 2023)

Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]. - Adrien Banse; Licio Romao; Alessandro Abate; Raphaël M. Jungers (CoRR, 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)

Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. - Thom S. Badings; Nils Jansen 001; Licio Romao; Alessandro Abate (FMAS@iFM, 2023)

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. - Thom S. Badings; Licio Romao; Alessandro Abate; David Parker 001; Hasan A. Poonawala; Mariëlle Stoelinga; Nils Jansen 001 (J. Artif. Intell. Res., 2023)

On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints. - Licio Romao; Antonis Papachristodoulou; Kostas Margellos (IEEE Trans. Autom. Control., 2023)

Probabilistic feasibility guarantees for convex scenario programs with an arbitrary number of discarded constraints. - Licio Romao; Kostas Margellos; Antonis Papachristodoulou (Autom., 2023)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. - Thom S. Badings; Licio Romao; Alessandro Abate; Nils Jansen 001 (ECC, 2024)

Bounded robustness in reinforcement learning via lexicographic objectives. - Daniel Jarne Ornia; Licio Romao; Lewis Hammond; Manuel Mazo Jr. 002; Alessandro Abate (L4DC, 2024)

Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers. - Alexandros E. Tzikas; Licio Romao; Mert Pilanci; Alessandro Abate; Mykel J. Kochenderfer (CoRR, 2024)

Data-driven Interval MDP for Robust Control Synthesis. - Rudi Coppola; Andrea Peruffo; Licio Romao; Alessandro Abate; Manuel Mazo Jr. 002 (CoRR, 2024)

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric. - Adrien Banse; Licio Romao; Alessandro Abate; Raphaël M. Jungers (CoRR, 2024)

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution. - Frederik Baymler Mathiesen; Licio Romao; Simeon C. Calvert; Luca Laurenti; Alessandro Abate (CoRR, 2024)

Risk-Averse Certification of Bayesian Neural Networks. - Xiyue Zhang 001; Zifan Wang; Yulong Gao; Licio Romao; Alessandro Abate; Marta Kwiatkowska (CoRR, 2024)

Enhancing Data-Driven Stochastic Control via Bundled Interval MDP. - Rudi Coppola; Andrea Peruffo; Licio Romao; Alessandro Abate; Manuel Mazo 002 (IEEE Control. Syst. Lett., 2024)

DynAbs: Abstraction-Based Controller Synthesis for Stochastic Linear Dynamical Systems. - Thom S. Badings; Licio Romao; Alessandro Abate; Dave Parker; Hasan Poonawala; Mariëlle Stoelinga; Nils Jansen 001 (Zenodo, 2024)

Bridging conformal prediction and scenario optimization. - Niall O'Sullivan; Licio Romao; Kostas Margellos (CoRR, 2025)