default search action
Licio Romao
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j6]Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo:
Enhancing Data-Driven Stochastic Control via Bundled Interval MDP. IEEE Control. Syst. Lett. 8: 2069-2074 (2024) - [c13]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: 564-570 - [c12]Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate:
Bounded robustness in reinforcement learning via lexicographic objectives. L4DC 2024: 954-967 - [i14]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 abs/2401.15838 (2024) - [i13]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 abs/2404.01726 (2024) - [i12]Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo Jr.:
Data-driven Interval MDP for Robust Control Synthesis. CoRR abs/2404.08344 (2024) - [i11]Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers:
Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric. CoRR abs/2405.08353 (2024) - [i10]Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Luca Laurenti, Alessandro Abate:
A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution. CoRR abs/2410.06662 (2024) - 2023
- [j5]Licio Romao, Kostas Margellos, Antonis Papachristodoulou:
Probabilistic feasibility guarantees for convex scenario programs with an arbitrary number of discarded constraints. Autom. 149: 110601 (2023) - [j4]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: 341-391 (2023) - [j3]Licio Romao, Antonis Papachristodoulou, Kostas Margellos:
On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints. IEEE Trans. Autom. Control. 68(4): 1986-2001 (2023) - [c11]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: 14701-14710 - [c10]Licio Romao, Ashish R. Hota, Alessandro Abate:
Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding. CDC 2023: 2016-2021 - [c9]Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert:
Abstracting Linear Stochastic Systems via Knowledge Filtering. CDC 2023: 3049-3054 - [c8]Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Alessandro Abate, Luca Laurenti:
Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design. CDC 2023: 3073-3080 - [c7]Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers:
Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric. CDC 2023: 6038-6043 - [c6]Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers:
Data-driven memory-dependent abstractions of dynamical systems. L4DC 2023: 891-902 - [c5]Luke Rickard, Thom S. Badings, Licio Romao, Alessandro Abate:
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. QEST 2023: 10-29 - [c4]Thom S. Badings, Nils Jansen, Licio Romao, Alessandro Abate:
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. FMAS@iFM 2023: 144-152 - [i9]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 abs/2301.01526 (2023) - [i8]Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers:
Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]. CoRR abs/2303.17618 (2023) - [i7]Licio Romao, Ashish R. Hota, Alessandro Abate:
Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding. CoRR abs/2304.00644 (2023) - [i6]Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Alessandro Abate, Luca Laurenti:
Inner approximations of stochastic programs for data-driven stochastic barrier function design. CoRR abs/2304.04505 (2023) - [i5]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 abs/2304.05770 (2023) - 2022
- [i4]Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate:
Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives. CoRR abs/2209.15320 (2022) - [i3]Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen:
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. CoRR abs/2210.05989 (2022) - [i2]Luke Rickard, Thom S. Badings, Licio Romao, Nils Jansen, Alessandro Abate:
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. CoRR abs/2212.00679 (2022) - [i1]Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers:
Data-driven memory-dependent abstractions of dynamical systems. CoRR abs/2212.01926 (2022) - 2021
- [b1]Licio Romao:
Scalable and data-driven approaches to convex programming. University of Oxford, UK, 2021 - [j2]Licio Romao, Kostas Margellos, Giuseppe Notarstefano, Antonis Papachristodoulou:
Subgradient averaging for multi-agent optimisation with different constraint sets. Autom. 131: 109738 (2021) - [c3]Licio Romao, Kostas Margellos, Antonis Papachristodoulou:
Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples. L4DC 2021: 312-323 - 2020
- [c2]Licio Romao, Kostas Margellos, Antonis Papachristodoulou:
Tight generalization guarantees for the sampling and discarding approach to scenario optimization. CDC 2020: 2228-2233
2010 – 2019
- 2019
- [c1]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: 7448-7453 - 2018
- [j1]Licio Romao, Kostas Margellos, Antonis Papachristodoulou:
Distributed Actuator Selection: Achieving Optimality via a Primal-Dual Algorithm. IEEE Control. Syst. Lett. 2(4): 779-784 (2018)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-20 22:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint