Login / Signup
Licio Romao
ORCID
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 31
Top Topics
Constraint Sets
Dynamical Model
Monte Carlo
Dynamical Systems
Top Venues
CoRR
CDC
L4DC
Autom.
</>
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)