Licio Romao - RankMe

39 papers A* 1Journal 24Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Bridging conformal prediction and scenario optimization. CDC Niall O'Sullivan, Licio Romao, Kostas Margellos
2025	J	`jnl`	Bridging conformal prediction and scenario optimization. CoRR Niall O'Sullivan, Licio Romao, Kostas Margellos
2025	J	`jnl`	Data-Driven Memory-Dependent Abstractions of Dynamical Systems via a Cantor-Kantorovich Metric. IEEE Trans. Autom. Control. Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
2025	J	`jnl`	Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets. CoRR Karan Mukhi, Licio Romao, Alessandro Abate
2024	—	`conf`	A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. ECC Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2024	J	`jnl`	A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. CoRR Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2024	J	`jnl`	A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution. CoRR Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Luca Laurenti, Alessandro Abate
2024	—	`conf`	Bounded robustness in reinforcement learning via lexicographic objectives. L4DC Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate
2024	J	`jnl`	Data-driven Interval MDP for Robust Control Synthesis. CoRR Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo Jr.
2024	J	`jnl`	Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric. CoRR Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
2024	J	`jnl`	Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers. CoRR Alexandros E. Tzikas, Licio Romao, Mert Pilanci, Alessandro Abate, Mykel J. Kochenderfer
2024	J	`jnl`	Enhancing Data-Driven Stochastic Control via Bundled Interval MDP. IEEE Control. Syst. Lett. Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo
2024	J	`jnl`	Risk-Averse Certification of Bayesian Neural Networks. CoRR Xiyue Zhang, Zifan Wang, Yulong Gao, Licio Romao, Alessandro Abate, Marta Kwiatkowska
2023	—	`conf`	Abstracting Linear Stochastic Systems via Knowledge Filtering. CDC Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert
2023	—	`conf`	Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. FMAS@iFM Thom Badings, Nils Jansen, Licio Romao, Alessandro Abate
2023	—	`conf`	Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric. CDC Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
2023	J	`jnl`	Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]. CoRR Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
2023	—	`conf`	Data-driven memory-dependent abstractions of dynamical systems. L4DC Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
2023	—	`conf`	Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding. CDC Licio Romao, Ashish R. Hota, Alessandro Abate
2023	J	`jnl`	Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding. CoRR Licio Romao, Ashish R. Hota, Alessandro Abate
2023	—	`conf`	Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. QEST Luke Rickard, Thom Badings, Licio Romao, Alessandro Abate
2023	—	`conf`	Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design. CDC Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Alessandro Abate, Luca Laurenti
2023	J	`jnl`	Inner approximations of stochastic programs for data-driven stochastic barrier function design. CoRR Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Alessandro Abate, Luca Laurenti
2023	J	`jnl`	Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications. CoRR Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert
2023	J	`jnl`	On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints. IEEE Trans. Autom. Control. Licio Romao, Antonis Papachristodoulou, Kostas Margellos
2023	J	`jnl`	Probabilistic feasibility guarantees for convex scenario programs with an arbitrary number of discarded constraints. Autom. Licio Romao, Kostas Margellos, Antonis Papachristodoulou
2023	A*	`conf`	Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. AAAI Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2023	J	`jnl`	Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions. CoRR Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2023	J	`jnl`	Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. J. Artif. Intell. Res. Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2022	J	`jnl`	Data-driven memory-dependent abstractions of dynamical systems. CoRR Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
2022	J	`jnl`	Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. CoRR Luke Rickard, Thom Badings, Licio Romao, Nils Jansen, Alessandro Abate
2022	J	`jnl`	Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives. CoRR Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate
2022	J	`jnl`	Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. CoRR Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2021	—	`—`	Scalable and data-driven approaches to convex programming Licio Romao
2021	J	`jnl`	Subgradient averaging for multi-agent optimisation with different constraint sets. Autom. Licio Romao, Kostas Margellos, Giuseppe Notarstefano, Antonis Papachristodoulou
2021	—	`conf`	Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples. L4DC Licio Romao, Kostas Margellos, Antonis Papachristodoulou
2020	—	`conf`	Tight generalization guarantees for the sampling and discarding approach to scenario optimization. CDC Licio Romao, Kostas Margellos, Antonis Papachristodoulou
2019	—	`conf`	Convergence rate analysis of a subgradient averaging algorithm for distributed optimisation with different constraint sets. CDC Licio Romao, Kostas Margellos, Giuseppe Notarstefano, Antonis Papachristodoulou
2018	J	`jnl`	Distributed Actuator Selection: Achieving Optimality via a Primal-Dual Algorithm. IEEE Control. Syst. Lett. Licio Romao, Kostas Margellos, Antonis Papachristodoulou