Licio Romao

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 31

Top Topics

Constraint Sets

Dynamical Model

Dynamical Systems

Top Venues

Publications

Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. ECC (2024)
Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate
Bounded robustness in reinforcement learning via lexicographic objectives. L4DC (2024)
Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. CoRR (2024)
Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo Jr.
Data-driven Interval MDP for Robust Control Synthesis. CoRR (2024)
Alexandros E. Tzikas, Licio Romao, Mert Pilanci, Alessandro Abate, Mykel J. Kochenderfer
Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers. CoRR (2024)
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric. CoRR (2024)
Licio Romao, Antonis Papachristodoulou, Kostas Margellos
On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints. IEEE Trans. Autom. Control. 68 (4) (2023)
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric. CDC (2023)
Frederik Baymler Mathiesen, Licio Romao, Simeon Craig Calvert, Alessandro Abate, Luca Laurenti
Inner approximations of stochastic programs for data-driven stochastic barrier function design. CoRR (2023)
Licio Romao, Ashish R. Hota, Alessandro Abate
Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding. CoRR (2023)
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Data-driven memory-dependent abstractions of dynamical systems. L4DC (2023)
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]. CoRR (2023)
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. J. Artif. Intell. Res. 76 (2023)
Licio Romao, Kostas Margellos, Antonis Papachristodoulou
Probabilistic feasibility guarantees for convex scenario programs with an arbitrary number of discarded constraints. Autom. 149 (2023)
Thom S. Badings, Nils Jansen, Licio Romao, Alessandro Abate
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. CoRR (2023)
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions. CoRR (2023)
Frederik Baymler Mathiesen, Licio Romao, Simeon Craig Calvert, Alessandro Abate, Luca Laurenti
Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design. CDC (2023)
Licio Romao, Ashish R. Hota, Alessandro Abate
Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding. CDC (2023)
Luke Rickard, Thom S. Badings, Licio Romao, Alessandro Abate
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. QEST (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)
Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. AAAI (2023)
Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate
Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives. CoRR (2022)
Luke Rickard, Thom S. Badings, Licio Romao, Nils Jansen, Alessandro Abate
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. CoRR (2022)
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Data-driven memory-dependent abstractions of dynamical systems. CoRR (2022)
Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. CoRR (2022)
Licio Romao, Kostas Margellos, Giuseppe Notarstefano, Antonis Papachristodoulou
Subgradient averaging for multi-agent optimisation with different constraint sets. Autom. 131 (2021)
Licio Romao, Kostas Margellos, Antonis Papachristodoulou
Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples. L4DC (2021)
Licio Romao, Kostas Margellos, Antonis Papachristodoulou
Tight generalization guarantees for the sampling and discarding approach to scenario optimization. CDC (2020)
Licio Romao, Kostas Margellos, Giuseppe Notarstefano, Antonis Papachristodoulou
Convergence rate analysis of a subgradient averaging algorithm for distributed optimisation with different constraint sets. CDC (2019)
Licio Romao, Kostas Margellos, Antonis Papachristodoulou
Distributed Actuator Selection: Achieving Optimality via a Primal-Dual Algorithm. IEEE Control. Syst. Lett. 2 (4) (2018)